blob: b1be6197a6c6a0a01a8b55d876f045a8af5a7fc4 [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);
Tom Stellard45bb48e2015-06-13 03:28:10 +000055}
56
Tom Stellarde135ffd2015-09-25 21:41:28 +000057static std::unique_ptr<TargetLoweringObjectFile> createTLOF(const Triple &TT) {
58 if (TT.getOS() == Triple::AMDHSA)
59 return make_unique<AMDGPUHSATargetObjectFile>();
60
Tom Stellardc93fc112015-12-10 02:13:01 +000061 return make_unique<AMDGPUTargetObjectFile>();
Tom Stellarde135ffd2015-09-25 21:41:28 +000062}
63
Tom Stellard45bb48e2015-06-13 03:28:10 +000064static ScheduleDAGInstrs *createR600MachineScheduler(MachineSchedContext *C) {
65 return new ScheduleDAGMILive(C, make_unique<R600SchedStrategy>());
66}
67
68static MachineSchedRegistry
Nicolai Haehnle02c32912016-01-13 16:10:10 +000069R600SchedRegistry("r600", "Run R600's custom scheduler",
70 createR600MachineScheduler);
71
72static MachineSchedRegistry
73SISchedRegistry("si", "Run SI's custom scheduler",
74 createSIMachineScheduler);
Tom Stellard45bb48e2015-06-13 03:28:10 +000075
76static std::string computeDataLayout(const Triple &TT) {
77 std::string Ret = "e-p:32:32";
78
79 if (TT.getArch() == Triple::amdgcn) {
80 // 32-bit private, local, and region pointers. 64-bit global and constant.
81 Ret += "-p1:64:64-p2:64:64-p3:32:32-p4:64:64-p5:32:32-p24:64:64";
82 }
83
84 Ret += "-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256"
85 "-v512:512-v1024:1024-v2048:2048-n32:64";
86
87 return Ret;
88}
89
90AMDGPUTargetMachine::AMDGPUTargetMachine(const Target &T, const Triple &TT,
91 StringRef CPU, StringRef FS,
92 TargetOptions Options, Reloc::Model RM,
93 CodeModel::Model CM,
94 CodeGenOpt::Level OptLevel)
95 : LLVMTargetMachine(T, computeDataLayout(TT), TT, CPU, FS, Options, RM, CM,
96 OptLevel),
Tom Stellarde135ffd2015-09-25 21:41:28 +000097 TLOF(createTLOF(getTargetTriple())), Subtarget(TT, CPU, FS, *this),
Tom Stellard45bb48e2015-06-13 03:28:10 +000098 IntrinsicInfo() {
99 setRequiresStructuredCFG(true);
100 initAsmInfo();
101}
102
Tom Stellarde135ffd2015-09-25 21:41:28 +0000103AMDGPUTargetMachine::~AMDGPUTargetMachine() { }
Tom Stellard45bb48e2015-06-13 03:28:10 +0000104
105//===----------------------------------------------------------------------===//
106// R600 Target Machine (R600 -> Cayman)
107//===----------------------------------------------------------------------===//
108
109R600TargetMachine::R600TargetMachine(const Target &T, const Triple &TT,
110 StringRef FS, StringRef CPU,
111 TargetOptions Options, Reloc::Model RM,
112 CodeModel::Model CM, CodeGenOpt::Level OL)
113 : AMDGPUTargetMachine(T, TT, FS, CPU, Options, RM, CM, OL) {}
114
115//===----------------------------------------------------------------------===//
116// GCN Target Machine (SI+)
117//===----------------------------------------------------------------------===//
118
119GCNTargetMachine::GCNTargetMachine(const Target &T, const Triple &TT,
120 StringRef FS, StringRef CPU,
121 TargetOptions Options, Reloc::Model RM,
122 CodeModel::Model CM, CodeGenOpt::Level OL)
123 : AMDGPUTargetMachine(T, TT, FS, CPU, Options, RM, CM, OL) {}
124
125//===----------------------------------------------------------------------===//
126// AMDGPU Pass Setup
127//===----------------------------------------------------------------------===//
128
129namespace {
130class AMDGPUPassConfig : public TargetPassConfig {
131public:
132 AMDGPUPassConfig(TargetMachine *TM, PassManagerBase &PM)
Matt Arsenault0a109002015-09-25 17:41:20 +0000133 : TargetPassConfig(TM, PM) {
134
135 // Exceptions and StackMaps are not supported, so these passes will never do
136 // anything.
137 disablePass(&StackMapLivenessID);
138 disablePass(&FuncletLayoutID);
139 }
Tom Stellard45bb48e2015-06-13 03:28:10 +0000140
141 AMDGPUTargetMachine &getAMDGPUTargetMachine() const {
142 return getTM<AMDGPUTargetMachine>();
143 }
144
145 ScheduleDAGInstrs *
146 createMachineScheduler(MachineSchedContext *C) const override {
147 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
148 if (ST.getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS)
149 return createR600MachineScheduler(C);
150 return nullptr;
151 }
152
153 void addIRPasses() override;
154 void addCodeGenPrepare() override;
Matt Arsenault0a109002015-09-25 17:41:20 +0000155 bool addPreISel() override;
156 bool addInstSelector() override;
157 bool addGCPasses() override;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000158};
159
160class R600PassConfig : public AMDGPUPassConfig {
161public:
162 R600PassConfig(TargetMachine *TM, PassManagerBase &PM)
163 : AMDGPUPassConfig(TM, PM) { }
164
165 bool addPreISel() override;
166 void addPreRegAlloc() override;
167 void addPreSched2() override;
168 void addPreEmitPass() override;
169};
170
171class GCNPassConfig : public AMDGPUPassConfig {
172public:
173 GCNPassConfig(TargetMachine *TM, PassManagerBase &PM)
174 : AMDGPUPassConfig(TM, PM) { }
175 bool addPreISel() override;
176 bool addInstSelector() override;
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000177 void addFastRegAlloc(FunctionPass *RegAllocPass) override;
178 void addOptimizedRegAlloc(FunctionPass *RegAllocPass) override;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000179 void addPreRegAlloc() override;
180 void addPostRegAlloc() override;
181 void addPreSched2() override;
182 void addPreEmitPass() override;
183};
184
185} // End of anonymous namespace
186
187TargetIRAnalysis AMDGPUTargetMachine::getTargetIRAnalysis() {
Eric Christophera4e5d3c2015-09-16 23:38:13 +0000188 return TargetIRAnalysis([this](const Function &F) {
Mehdi Amini5010ebf2015-07-09 02:08:42 +0000189 return TargetTransformInfo(
190 AMDGPUTTIImpl(this, F.getParent()->getDataLayout()));
191 });
Tom Stellard45bb48e2015-06-13 03:28:10 +0000192}
193
194void AMDGPUPassConfig::addIRPasses() {
195 // Function calls are not supported, so make sure we inline everything.
196 addPass(createAMDGPUAlwaysInlinePass());
197 addPass(createAlwaysInlinerPass());
198 // We need to add the barrier noop pass, otherwise adding the function
199 // inlining pass will cause all of the PassConfigs passes to be run
200 // one function at a time, which means if we have a nodule with two
201 // functions, then we will generate code for the first function
202 // without ever running any passes on the second.
203 addPass(createBarrierNoopPass());
Matt Arsenault39319482015-11-06 18:01:57 +0000204
Tom Stellardfd253952015-08-07 23:19:30 +0000205 // Handle uses of OpenCL image2d_t, image3d_t and sampler_t arguments.
206 addPass(createAMDGPUOpenCLImageTypeLoweringPass());
Matt Arsenault39319482015-11-06 18:01:57 +0000207
Tom Stellard45bb48e2015-06-13 03:28:10 +0000208 TargetPassConfig::addIRPasses();
209}
210
211void AMDGPUPassConfig::addCodeGenPrepare() {
212 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
213 if (ST.isPromoteAllocaEnabled()) {
214 addPass(createAMDGPUPromoteAlloca(ST));
215 addPass(createSROAPass());
216 }
217 TargetPassConfig::addCodeGenPrepare();
218}
219
220bool
221AMDGPUPassConfig::addPreISel() {
222 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
223 addPass(createFlattenCFGPass());
224 if (ST.IsIRStructurizerEnabled())
225 addPass(createStructurizeCFGPass());
226 return false;
227}
228
229bool AMDGPUPassConfig::addInstSelector() {
230 addPass(createAMDGPUISelDag(getAMDGPUTargetMachine()));
231 return false;
232}
233
Matt Arsenault0a109002015-09-25 17:41:20 +0000234bool AMDGPUPassConfig::addGCPasses() {
235 // Do nothing. GC is not supported.
236 return false;
237}
238
Tom Stellard45bb48e2015-06-13 03:28:10 +0000239//===----------------------------------------------------------------------===//
240// R600 Pass Setup
241//===----------------------------------------------------------------------===//
242
243bool R600PassConfig::addPreISel() {
244 AMDGPUPassConfig::addPreISel();
245 addPass(createR600TextureIntrinsicsReplacer());
246 return false;
247}
248
249void R600PassConfig::addPreRegAlloc() {
250 addPass(createR600VectorRegMerger(*TM));
251}
252
253void R600PassConfig::addPreSched2() {
254 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
255 addPass(createR600EmitClauseMarkers(), false);
256 if (ST.isIfCvtEnabled())
257 addPass(&IfConverterID, false);
258 addPass(createR600ClauseMergePass(*TM), false);
259}
260
261void R600PassConfig::addPreEmitPass() {
262 addPass(createAMDGPUCFGStructurizerPass(), false);
263 addPass(createR600ExpandSpecialInstrsPass(*TM), false);
264 addPass(&FinalizeMachineBundlesID, false);
265 addPass(createR600Packetizer(*TM), false);
266 addPass(createR600ControlFlowFinalizer(*TM), false);
267}
268
269TargetPassConfig *R600TargetMachine::createPassConfig(PassManagerBase &PM) {
270 return new R600PassConfig(this, PM);
271}
272
273//===----------------------------------------------------------------------===//
274// GCN Pass Setup
275//===----------------------------------------------------------------------===//
276
277bool GCNPassConfig::addPreISel() {
278 AMDGPUPassConfig::addPreISel();
Matt Arsenault39319482015-11-06 18:01:57 +0000279
280 // FIXME: We need to run a pass to propagate the attributes when calls are
281 // supported.
282 addPass(&AMDGPUAnnotateKernelFeaturesID);
283
Tom Stellard45bb48e2015-06-13 03:28:10 +0000284 addPass(createSinkingPass());
285 addPass(createSITypeRewriter());
286 addPass(createSIAnnotateControlFlowPass());
Tom Stellarda6f24c62015-12-15 20:55:55 +0000287 addPass(createAMDGPUAnnotateUniformValues());
288
Tom Stellard45bb48e2015-06-13 03:28:10 +0000289 return false;
290}
291
292bool GCNPassConfig::addInstSelector() {
293 AMDGPUPassConfig::addInstSelector();
294 addPass(createSILowerI1CopiesPass());
Matt Arsenault782c03b2015-11-03 22:30:13 +0000295 addPass(&SIFixSGPRCopiesID);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000296 addPass(createSIFoldOperandsPass());
297 return false;
298}
299
300void GCNPassConfig::addPreRegAlloc() {
301 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
302
303 // This needs to be run directly before register allocation because
304 // earlier passes might recompute live intervals.
305 // TODO: handle CodeGenOpt::None; fast RA ignores spill weights set by the pass
306 if (getOptLevel() > CodeGenOpt::None) {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000307 insertPass(&MachineSchedulerID, &SIFixControlFlowLiveIntervalsID);
308 }
309
310 if (getOptLevel() > CodeGenOpt::None && ST.loadStoreOptEnabled()) {
311 // Don't do this with no optimizations since it throws away debug info by
312 // merging nonadjacent loads.
313
314 // This should be run after scheduling, but before register allocation. It
315 // also need extra copies to the address operand to be eliminated.
Tom Stellard45bb48e2015-06-13 03:28:10 +0000316 insertPass(&MachineSchedulerID, &SILoadStoreOptimizerID);
Matt Arsenault84db5d92015-07-14 17:57:36 +0000317 insertPass(&MachineSchedulerID, &RegisterCoalescerID);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000318 }
319 addPass(createSIShrinkInstructionsPass(), false);
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000320}
321
322void GCNPassConfig::addFastRegAlloc(FunctionPass *RegAllocPass) {
323 addPass(&SIFixSGPRLiveRangesID);
324 TargetPassConfig::addFastRegAlloc(RegAllocPass);
325}
326
327void GCNPassConfig::addOptimizedRegAlloc(FunctionPass *RegAllocPass) {
328 // We want to run this after LiveVariables is computed to avoid computing them
329 // twice.
Justin Bogner468c9982015-10-08 00:36:22 +0000330 // FIXME: We shouldn't disable the verifier here. r249087 introduced a failure
331 // that needs to be fixed.
332 insertPass(&LiveVariablesID, &SIFixSGPRLiveRangesID, /*VerifyAfter=*/false);
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000333 TargetPassConfig::addOptimizedRegAlloc(RegAllocPass);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000334}
335
336void GCNPassConfig::addPostRegAlloc() {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000337 addPass(createSIShrinkInstructionsPass(), false);
338}
339
340void GCNPassConfig::addPreSched2() {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000341}
342
343void GCNPassConfig::addPreEmitPass() {
Matt Arsenaultdb7781c2015-07-06 17:02:20 +0000344 addPass(createSIInsertWaits(*TM), false);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000345 addPass(createSILowerControlFlowPass(*TM), false);
346}
347
348TargetPassConfig *GCNTargetMachine::createPassConfig(PassManagerBase &PM) {
349 return new GCNPassConfig(this, PM);
350}