blob: ef3a5afb32c5ac1a8e5f897e76c056c81fd71de2 [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"
33#include "llvm/Support/TargetRegistry.h"
34#include "llvm/Support/raw_os_ostream.h"
35#include "llvm/Transforms/IPO.h"
36#include "llvm/Transforms/Scalar.h"
37#include <llvm/CodeGen/Passes.h>
38
39using namespace llvm;
40
41extern "C" void LLVMInitializeAMDGPUTarget() {
42 // Register the target
43 RegisterTargetMachine<R600TargetMachine> X(TheAMDGPUTarget);
44 RegisterTargetMachine<GCNTargetMachine> Y(TheGCNTarget);
Matt Arsenaultb87fc222015-10-01 22:10:03 +000045
46 PassRegistry *PR = PassRegistry::getPassRegistry();
Matt Arsenault8c0ef8b2015-10-12 17:43:59 +000047 initializeSILowerI1CopiesPass(*PR);
Matt Arsenault782c03b2015-11-03 22:30:13 +000048 initializeSIFixSGPRCopiesPass(*PR);
Matt Arsenault8c0ef8b2015-10-12 17:43:59 +000049 initializeSIFoldOperandsPass(*PR);
Matt Arsenaultb87fc222015-10-01 22:10:03 +000050 initializeSIFixSGPRLiveRangesPass(*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 Stellard45bb48e2015-06-13 03:28:10 +000057}
58
Tom Stellarde135ffd2015-09-25 21:41:28 +000059static std::unique_ptr<TargetLoweringObjectFile> createTLOF(const Triple &TT) {
60 if (TT.getOS() == Triple::AMDHSA)
61 return make_unique<AMDGPUHSATargetObjectFile>();
62
Tom Stellardc93fc112015-12-10 02:13:01 +000063 return make_unique<AMDGPUTargetObjectFile>();
Tom Stellarde135ffd2015-09-25 21:41:28 +000064}
65
Tom Stellard45bb48e2015-06-13 03:28:10 +000066static ScheduleDAGInstrs *createR600MachineScheduler(MachineSchedContext *C) {
67 return new ScheduleDAGMILive(C, make_unique<R600SchedStrategy>());
68}
69
70static MachineSchedRegistry
Nicolai Haehnle02c32912016-01-13 16:10:10 +000071R600SchedRegistry("r600", "Run R600's custom scheduler",
72 createR600MachineScheduler);
73
74static MachineSchedRegistry
75SISchedRegistry("si", "Run SI's custom scheduler",
76 createSIMachineScheduler);
Tom Stellard45bb48e2015-06-13 03:28:10 +000077
78static std::string computeDataLayout(const Triple &TT) {
79 std::string Ret = "e-p:32:32";
80
81 if (TT.getArch() == Triple::amdgcn) {
82 // 32-bit private, local, and region pointers. 64-bit global and constant.
83 Ret += "-p1:64:64-p2:64:64-p3:32:32-p4:64:64-p5:32:32-p24:64:64";
84 }
85
86 Ret += "-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256"
87 "-v512:512-v1024:1024-v2048:2048-n32:64";
88
89 return Ret;
90}
91
Matt Arsenaultb22828f2016-01-27 02:17:49 +000092LLVM_READNONE
93static StringRef getGPUOrDefault(const Triple &TT, StringRef GPU) {
94 if (!GPU.empty())
95 return GPU;
96
97 // HSA only supports CI+, so change the default GPU to a CI for HSA.
98 if (TT.getArch() == Triple::amdgcn)
99 return (TT.getOS() == Triple::AMDHSA) ? "kaveri" : "tahiti";
100
101 return "";
102}
103
Tom Stellard45bb48e2015-06-13 03:28:10 +0000104AMDGPUTargetMachine::AMDGPUTargetMachine(const Target &T, const Triple &TT,
105 StringRef CPU, StringRef FS,
106 TargetOptions Options, Reloc::Model RM,
107 CodeModel::Model CM,
108 CodeGenOpt::Level OptLevel)
Matt Arsenaultb22828f2016-01-27 02:17:49 +0000109 : LLVMTargetMachine(T, computeDataLayout(TT), TT,
110 getGPUOrDefault(TT, CPU), FS, Options, RM, CM,
Tom Stellard45bb48e2015-06-13 03:28:10 +0000111 OptLevel),
Matt Arsenaultb22828f2016-01-27 02:17:49 +0000112 TLOF(createTLOF(getTargetTriple())),
113 Subtarget(TT, getTargetCPU(), FS, *this),
Tom Stellard45bb48e2015-06-13 03:28:10 +0000114 IntrinsicInfo() {
115 setRequiresStructuredCFG(true);
116 initAsmInfo();
117}
118
Tom Stellarde135ffd2015-09-25 21:41:28 +0000119AMDGPUTargetMachine::~AMDGPUTargetMachine() { }
Tom Stellard45bb48e2015-06-13 03:28:10 +0000120
121//===----------------------------------------------------------------------===//
122// R600 Target Machine (R600 -> Cayman)
123//===----------------------------------------------------------------------===//
124
125R600TargetMachine::R600TargetMachine(const Target &T, const Triple &TT,
126 StringRef FS, StringRef CPU,
127 TargetOptions Options, Reloc::Model RM,
128 CodeModel::Model CM, CodeGenOpt::Level OL)
129 : AMDGPUTargetMachine(T, TT, FS, CPU, Options, RM, CM, OL) {}
130
131//===----------------------------------------------------------------------===//
132// GCN Target Machine (SI+)
133//===----------------------------------------------------------------------===//
134
135GCNTargetMachine::GCNTargetMachine(const Target &T, const Triple &TT,
136 StringRef FS, StringRef CPU,
137 TargetOptions Options, Reloc::Model RM,
138 CodeModel::Model CM, CodeGenOpt::Level OL)
139 : AMDGPUTargetMachine(T, TT, FS, CPU, Options, RM, CM, OL) {}
140
141//===----------------------------------------------------------------------===//
142// AMDGPU Pass Setup
143//===----------------------------------------------------------------------===//
144
145namespace {
146class AMDGPUPassConfig : public TargetPassConfig {
147public:
148 AMDGPUPassConfig(TargetMachine *TM, PassManagerBase &PM)
Matt Arsenault0a109002015-09-25 17:41:20 +0000149 : TargetPassConfig(TM, PM) {
150
151 // Exceptions and StackMaps are not supported, so these passes will never do
152 // anything.
153 disablePass(&StackMapLivenessID);
154 disablePass(&FuncletLayoutID);
155 }
Tom Stellard45bb48e2015-06-13 03:28:10 +0000156
157 AMDGPUTargetMachine &getAMDGPUTargetMachine() const {
158 return getTM<AMDGPUTargetMachine>();
159 }
160
161 ScheduleDAGInstrs *
162 createMachineScheduler(MachineSchedContext *C) const override {
163 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
164 if (ST.getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS)
165 return createR600MachineScheduler(C);
Tom Stellardde008d32016-01-21 04:28:34 +0000166 else if (ST.enableSIScheduler())
167 return createSIMachineScheduler(C);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000168 return nullptr;
169 }
170
171 void addIRPasses() override;
172 void addCodeGenPrepare() override;
Matt Arsenault0a109002015-09-25 17:41:20 +0000173 bool addPreISel() override;
174 bool addInstSelector() override;
175 bool addGCPasses() override;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000176};
177
178class R600PassConfig : public AMDGPUPassConfig {
179public:
180 R600PassConfig(TargetMachine *TM, PassManagerBase &PM)
181 : AMDGPUPassConfig(TM, PM) { }
182
183 bool addPreISel() override;
184 void addPreRegAlloc() override;
185 void addPreSched2() override;
186 void addPreEmitPass() override;
187};
188
189class GCNPassConfig : public AMDGPUPassConfig {
190public:
191 GCNPassConfig(TargetMachine *TM, PassManagerBase &PM)
192 : AMDGPUPassConfig(TM, PM) { }
193 bool addPreISel() override;
194 bool addInstSelector() override;
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000195 void addFastRegAlloc(FunctionPass *RegAllocPass) override;
196 void addOptimizedRegAlloc(FunctionPass *RegAllocPass) override;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000197 void addPreRegAlloc() override;
198 void addPostRegAlloc() override;
199 void addPreSched2() override;
200 void addPreEmitPass() override;
201};
202
203} // End of anonymous namespace
204
205TargetIRAnalysis AMDGPUTargetMachine::getTargetIRAnalysis() {
Eric Christophera4e5d3c2015-09-16 23:38:13 +0000206 return TargetIRAnalysis([this](const Function &F) {
Mehdi Amini5010ebf2015-07-09 02:08:42 +0000207 return TargetTransformInfo(
208 AMDGPUTTIImpl(this, F.getParent()->getDataLayout()));
209 });
Tom Stellard45bb48e2015-06-13 03:28:10 +0000210}
211
212void AMDGPUPassConfig::addIRPasses() {
213 // Function calls are not supported, so make sure we inline everything.
214 addPass(createAMDGPUAlwaysInlinePass());
215 addPass(createAlwaysInlinerPass());
216 // We need to add the barrier noop pass, otherwise adding the function
217 // inlining pass will cause all of the PassConfigs passes to be run
218 // one function at a time, which means if we have a nodule with two
219 // functions, then we will generate code for the first function
220 // without ever running any passes on the second.
221 addPass(createBarrierNoopPass());
Matt Arsenault39319482015-11-06 18:01:57 +0000222
Tom Stellardfd253952015-08-07 23:19:30 +0000223 // Handle uses of OpenCL image2d_t, image3d_t and sampler_t arguments.
224 addPass(createAMDGPUOpenCLImageTypeLoweringPass());
Matt Arsenault39319482015-11-06 18:01:57 +0000225
Tom Stellard45bb48e2015-06-13 03:28:10 +0000226 TargetPassConfig::addIRPasses();
227}
228
229void AMDGPUPassConfig::addCodeGenPrepare() {
Matt Arsenaulte0132462016-01-30 05:19:45 +0000230 const AMDGPUTargetMachine &TM = getAMDGPUTargetMachine();
231 const AMDGPUSubtarget &ST = *TM.getSubtargetImpl();
Matt Arsenault8b175672016-02-02 19:32:42 +0000232 if (TM.getOptLevel() > CodeGenOpt::None && ST.isPromoteAllocaEnabled()) {
Matt Arsenaulte0132462016-01-30 05:19:45 +0000233 addPass(createAMDGPUPromoteAlloca(&TM));
Tom Stellard45bb48e2015-06-13 03:28:10 +0000234 addPass(createSROAPass());
235 }
236 TargetPassConfig::addCodeGenPrepare();
237}
238
239bool
240AMDGPUPassConfig::addPreISel() {
241 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
242 addPass(createFlattenCFGPass());
243 if (ST.IsIRStructurizerEnabled())
244 addPass(createStructurizeCFGPass());
245 return false;
246}
247
248bool AMDGPUPassConfig::addInstSelector() {
249 addPass(createAMDGPUISelDag(getAMDGPUTargetMachine()));
250 return false;
251}
252
Matt Arsenault0a109002015-09-25 17:41:20 +0000253bool AMDGPUPassConfig::addGCPasses() {
254 // Do nothing. GC is not supported.
255 return false;
256}
257
Tom Stellard45bb48e2015-06-13 03:28:10 +0000258//===----------------------------------------------------------------------===//
259// R600 Pass Setup
260//===----------------------------------------------------------------------===//
261
262bool R600PassConfig::addPreISel() {
263 AMDGPUPassConfig::addPreISel();
264 addPass(createR600TextureIntrinsicsReplacer());
265 return false;
266}
267
268void R600PassConfig::addPreRegAlloc() {
269 addPass(createR600VectorRegMerger(*TM));
270}
271
272void R600PassConfig::addPreSched2() {
273 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
274 addPass(createR600EmitClauseMarkers(), false);
275 if (ST.isIfCvtEnabled())
276 addPass(&IfConverterID, false);
277 addPass(createR600ClauseMergePass(*TM), false);
278}
279
280void R600PassConfig::addPreEmitPass() {
281 addPass(createAMDGPUCFGStructurizerPass(), false);
282 addPass(createR600ExpandSpecialInstrsPass(*TM), false);
283 addPass(&FinalizeMachineBundlesID, false);
284 addPass(createR600Packetizer(*TM), false);
285 addPass(createR600ControlFlowFinalizer(*TM), false);
286}
287
288TargetPassConfig *R600TargetMachine::createPassConfig(PassManagerBase &PM) {
289 return new R600PassConfig(this, PM);
290}
291
292//===----------------------------------------------------------------------===//
293// GCN Pass Setup
294//===----------------------------------------------------------------------===//
295
296bool GCNPassConfig::addPreISel() {
297 AMDGPUPassConfig::addPreISel();
Matt Arsenault39319482015-11-06 18:01:57 +0000298
299 // FIXME: We need to run a pass to propagate the attributes when calls are
300 // supported.
301 addPass(&AMDGPUAnnotateKernelFeaturesID);
302
Tom Stellard45bb48e2015-06-13 03:28:10 +0000303 addPass(createSinkingPass());
304 addPass(createSITypeRewriter());
305 addPass(createSIAnnotateControlFlowPass());
Tom Stellarda6f24c62015-12-15 20:55:55 +0000306 addPass(createAMDGPUAnnotateUniformValues());
307
Tom Stellard45bb48e2015-06-13 03:28:10 +0000308 return false;
309}
310
311bool GCNPassConfig::addInstSelector() {
312 AMDGPUPassConfig::addInstSelector();
313 addPass(createSILowerI1CopiesPass());
Matt Arsenault782c03b2015-11-03 22:30:13 +0000314 addPass(&SIFixSGPRCopiesID);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000315 addPass(createSIFoldOperandsPass());
316 return false;
317}
318
319void GCNPassConfig::addPreRegAlloc() {
320 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
321
322 // This needs to be run directly before register allocation because
323 // earlier passes might recompute live intervals.
324 // TODO: handle CodeGenOpt::None; fast RA ignores spill weights set by the pass
325 if (getOptLevel() > CodeGenOpt::None) {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000326 insertPass(&MachineSchedulerID, &SIFixControlFlowLiveIntervalsID);
327 }
328
329 if (getOptLevel() > CodeGenOpt::None && ST.loadStoreOptEnabled()) {
330 // Don't do this with no optimizations since it throws away debug info by
331 // merging nonadjacent loads.
332
333 // This should be run after scheduling, but before register allocation. It
334 // also need extra copies to the address operand to be eliminated.
Tom Stellard45bb48e2015-06-13 03:28:10 +0000335 insertPass(&MachineSchedulerID, &SILoadStoreOptimizerID);
Matt Arsenault84db5d92015-07-14 17:57:36 +0000336 insertPass(&MachineSchedulerID, &RegisterCoalescerID);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000337 }
338 addPass(createSIShrinkInstructionsPass(), false);
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000339}
340
341void GCNPassConfig::addFastRegAlloc(FunctionPass *RegAllocPass) {
342 addPass(&SIFixSGPRLiveRangesID);
343 TargetPassConfig::addFastRegAlloc(RegAllocPass);
344}
345
346void GCNPassConfig::addOptimizedRegAlloc(FunctionPass *RegAllocPass) {
347 // We want to run this after LiveVariables is computed to avoid computing them
348 // twice.
Justin Bogner468c9982015-10-08 00:36:22 +0000349 // FIXME: We shouldn't disable the verifier here. r249087 introduced a failure
350 // that needs to be fixed.
351 insertPass(&LiveVariablesID, &SIFixSGPRLiveRangesID, /*VerifyAfter=*/false);
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000352 TargetPassConfig::addOptimizedRegAlloc(RegAllocPass);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000353}
354
355void GCNPassConfig::addPostRegAlloc() {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000356 addPass(createSIShrinkInstructionsPass(), false);
357}
358
359void GCNPassConfig::addPreSched2() {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000360}
361
362void GCNPassConfig::addPreEmitPass() {
Matt Arsenaultdb7781c2015-07-06 17:02:20 +0000363 addPass(createSIInsertWaits(*TM), false);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000364 addPass(createSILowerControlFlowPass(*TM), false);
365}
366
367TargetPassConfig *GCNTargetMachine::createPassConfig(PassManagerBase &PM) {
368 return new GCNPassConfig(this, PM);
369}