blob: c5d7835f0586b6a4b3d82047ecfd2892433995a4 [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"
Tom Stellard45bb48e2015-06-13 03:28:10 +000028#include "llvm/CodeGen/MachineModuleInfo.h"
29#include "llvm/CodeGen/Passes.h"
Matthias Braun31d19d42016-05-10 03:21:59 +000030#include "llvm/CodeGen/TargetLoweringObjectFileImpl.h"
31#include "llvm/CodeGen/TargetPassConfig.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000032#include "llvm/IR/Verifier.h"
33#include "llvm/MC/MCAsmInfo.h"
34#include "llvm/IR/LegacyPassManager.h"
35#include "llvm/Support/TargetRegistry.h"
36#include "llvm/Support/raw_os_ostream.h"
37#include "llvm/Transforms/IPO.h"
38#include "llvm/Transforms/Scalar.h"
39#include <llvm/CodeGen/Passes.h>
40
41using namespace llvm;
42
43extern "C" void LLVMInitializeAMDGPUTarget() {
44 // Register the target
45 RegisterTargetMachine<R600TargetMachine> X(TheAMDGPUTarget);
46 RegisterTargetMachine<GCNTargetMachine> Y(TheGCNTarget);
Matt Arsenaultb87fc222015-10-01 22:10:03 +000047
48 PassRegistry *PR = PassRegistry::getPassRegistry();
Matt Arsenault8c0ef8b2015-10-12 17:43:59 +000049 initializeSILowerI1CopiesPass(*PR);
Matt Arsenault782c03b2015-11-03 22:30:13 +000050 initializeSIFixSGPRCopiesPass(*PR);
Matt Arsenault8c0ef8b2015-10-12 17:43:59 +000051 initializeSIFoldOperandsPass(*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);
Konstantin Zhuravlyova7919322016-05-10 18:33:41 +000058 initializeSIDebuggerInsertNopsPass(*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) {
Tom Stellardc93fc112015-12-10 02:13:01 +000065 return make_unique<AMDGPUTargetObjectFile>();
Tom Stellarde135ffd2015-09-25 21:41:28 +000066}
67
Tom Stellard45bb48e2015-06-13 03:28:10 +000068static ScheduleDAGInstrs *createR600MachineScheduler(MachineSchedContext *C) {
69 return new ScheduleDAGMILive(C, make_unique<R600SchedStrategy>());
70}
71
72static MachineSchedRegistry
Nicolai Haehnle02c32912016-01-13 16:10:10 +000073R600SchedRegistry("r600", "Run R600's custom scheduler",
74 createR600MachineScheduler);
75
76static MachineSchedRegistry
77SISchedRegistry("si", "Run SI's custom scheduler",
78 createSIMachineScheduler);
Tom Stellard45bb48e2015-06-13 03:28:10 +000079
80static std::string computeDataLayout(const Triple &TT) {
81 std::string Ret = "e-p:32:32";
82
83 if (TT.getArch() == Triple::amdgcn) {
84 // 32-bit private, local, and region pointers. 64-bit global and constant.
85 Ret += "-p1:64:64-p2:64:64-p3:32:32-p4:64:64-p5:32:32-p24:64:64";
86 }
87
88 Ret += "-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256"
89 "-v512:512-v1024:1024-v2048:2048-n32:64";
90
91 return Ret;
92}
93
Matt Arsenaultb22828f2016-01-27 02:17:49 +000094LLVM_READNONE
95static StringRef getGPUOrDefault(const Triple &TT, StringRef GPU) {
96 if (!GPU.empty())
97 return GPU;
98
99 // HSA only supports CI+, so change the default GPU to a CI for HSA.
100 if (TT.getArch() == Triple::amdgcn)
101 return (TT.getOS() == Triple::AMDHSA) ? "kaveri" : "tahiti";
102
103 return "";
104}
105
Tom Stellard45bb48e2015-06-13 03:28:10 +0000106AMDGPUTargetMachine::AMDGPUTargetMachine(const Target &T, const Triple &TT,
107 StringRef CPU, StringRef FS,
108 TargetOptions Options, Reloc::Model RM,
109 CodeModel::Model CM,
110 CodeGenOpt::Level OptLevel)
Matt Arsenaultb22828f2016-01-27 02:17:49 +0000111 : LLVMTargetMachine(T, computeDataLayout(TT), TT,
112 getGPUOrDefault(TT, CPU), FS, Options, RM, CM,
Tom Stellard45bb48e2015-06-13 03:28:10 +0000113 OptLevel),
Matt Arsenaultb22828f2016-01-27 02:17:49 +0000114 TLOF(createTLOF(getTargetTriple())),
115 Subtarget(TT, getTargetCPU(), FS, *this),
Tom Stellard45bb48e2015-06-13 03:28:10 +0000116 IntrinsicInfo() {
117 setRequiresStructuredCFG(true);
118 initAsmInfo();
119}
120
Tom Stellarde135ffd2015-09-25 21:41:28 +0000121AMDGPUTargetMachine::~AMDGPUTargetMachine() { }
Tom Stellard45bb48e2015-06-13 03:28:10 +0000122
123//===----------------------------------------------------------------------===//
124// R600 Target Machine (R600 -> Cayman)
125//===----------------------------------------------------------------------===//
126
127R600TargetMachine::R600TargetMachine(const Target &T, const Triple &TT,
Tom Stellard5dde1d22016-02-05 18:29:17 +0000128 StringRef CPU, StringRef FS,
Tom Stellard45bb48e2015-06-13 03:28:10 +0000129 TargetOptions Options, Reloc::Model RM,
130 CodeModel::Model CM, CodeGenOpt::Level OL)
Tom Stellard5dde1d22016-02-05 18:29:17 +0000131 : AMDGPUTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL) {}
Tom Stellard45bb48e2015-06-13 03:28:10 +0000132
133//===----------------------------------------------------------------------===//
134// GCN Target Machine (SI+)
135//===----------------------------------------------------------------------===//
136
137GCNTargetMachine::GCNTargetMachine(const Target &T, const Triple &TT,
Tom Stellard5dde1d22016-02-05 18:29:17 +0000138 StringRef CPU, StringRef FS,
Tom Stellard45bb48e2015-06-13 03:28:10 +0000139 TargetOptions Options, Reloc::Model RM,
140 CodeModel::Model CM, CodeGenOpt::Level OL)
Tom Stellard5dde1d22016-02-05 18:29:17 +0000141 : AMDGPUTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL) {}
Tom Stellard45bb48e2015-06-13 03:28:10 +0000142
143//===----------------------------------------------------------------------===//
144// AMDGPU Pass Setup
145//===----------------------------------------------------------------------===//
146
147namespace {
Tom Stellardcc7067a62016-03-03 03:53:29 +0000148
Tom Stellard45bb48e2015-06-13 03:28:10 +0000149class AMDGPUPassConfig : public TargetPassConfig {
150public:
151 AMDGPUPassConfig(TargetMachine *TM, PassManagerBase &PM)
Matt Arsenault0a109002015-09-25 17:41:20 +0000152 : TargetPassConfig(TM, PM) {
153
154 // Exceptions and StackMaps are not supported, so these passes will never do
155 // anything.
156 disablePass(&StackMapLivenessID);
157 disablePass(&FuncletLayoutID);
158 }
Tom Stellard45bb48e2015-06-13 03:28:10 +0000159
160 AMDGPUTargetMachine &getAMDGPUTargetMachine() const {
161 return getTM<AMDGPUTargetMachine>();
162 }
163
164 ScheduleDAGInstrs *
165 createMachineScheduler(MachineSchedContext *C) const override {
166 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
167 if (ST.getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS)
168 return createR600MachineScheduler(C);
Tom Stellardde008d32016-01-21 04:28:34 +0000169 else if (ST.enableSIScheduler())
170 return createSIMachineScheduler(C);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000171 return nullptr;
172 }
173
174 void addIRPasses() override;
175 void addCodeGenPrepare() override;
Matt Arsenault0a109002015-09-25 17:41:20 +0000176 bool addPreISel() override;
177 bool addInstSelector() override;
178 bool addGCPasses() override;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000179};
180
Matt Arsenault6b6a2c32016-03-11 08:00:27 +0000181class R600PassConfig final : public AMDGPUPassConfig {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000182public:
183 R600PassConfig(TargetMachine *TM, PassManagerBase &PM)
184 : AMDGPUPassConfig(TM, PM) { }
185
186 bool addPreISel() override;
187 void addPreRegAlloc() override;
188 void addPreSched2() override;
189 void addPreEmitPass() override;
190};
191
Matt Arsenault6b6a2c32016-03-11 08:00:27 +0000192class GCNPassConfig final : public AMDGPUPassConfig {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000193public:
194 GCNPassConfig(TargetMachine *TM, PassManagerBase &PM)
195 : AMDGPUPassConfig(TM, PM) { }
196 bool addPreISel() override;
Matt Arsenault3d1c1de2016-04-14 21:58:24 +0000197 void addMachineSSAOptimization() override;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000198 bool addInstSelector() override;
Tom Stellard000c5af2016-04-14 19:09:28 +0000199#ifdef LLVM_BUILD_GLOBAL_ISEL
200 bool addIRTranslator() override;
201 bool addRegBankSelect() override;
202#endif
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000203 void addFastRegAlloc(FunctionPass *RegAllocPass) override;
204 void addOptimizedRegAlloc(FunctionPass *RegAllocPass) override;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000205 void addPreRegAlloc() override;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000206 void addPreSched2() override;
207 void addPreEmitPass() override;
208};
209
210} // End of anonymous namespace
211
212TargetIRAnalysis AMDGPUTargetMachine::getTargetIRAnalysis() {
Eric Christophera4e5d3c2015-09-16 23:38:13 +0000213 return TargetIRAnalysis([this](const Function &F) {
Mehdi Amini5010ebf2015-07-09 02:08:42 +0000214 return TargetTransformInfo(
215 AMDGPUTTIImpl(this, F.getParent()->getDataLayout()));
216 });
Tom Stellard45bb48e2015-06-13 03:28:10 +0000217}
218
219void AMDGPUPassConfig::addIRPasses() {
Matt Arsenaultbde80342016-05-18 15:41:07 +0000220 // There is no reason to run these.
221 disablePass(&StackMapLivenessID);
222 disablePass(&FuncletLayoutID);
223 disablePass(&PatchableFunctionID);
224
Tom Stellard45bb48e2015-06-13 03:28:10 +0000225 // Function calls are not supported, so make sure we inline everything.
226 addPass(createAMDGPUAlwaysInlinePass());
227 addPass(createAlwaysInlinerPass());
228 // We need to add the barrier noop pass, otherwise adding the function
229 // inlining pass will cause all of the PassConfigs passes to be run
230 // one function at a time, which means if we have a nodule with two
231 // functions, then we will generate code for the first function
232 // without ever running any passes on the second.
233 addPass(createBarrierNoopPass());
Matt Arsenault39319482015-11-06 18:01:57 +0000234
Tom Stellardfd253952015-08-07 23:19:30 +0000235 // Handle uses of OpenCL image2d_t, image3d_t and sampler_t arguments.
236 addPass(createAMDGPUOpenCLImageTypeLoweringPass());
Matt Arsenault39319482015-11-06 18:01:57 +0000237
Tom Stellard45bb48e2015-06-13 03:28:10 +0000238 TargetPassConfig::addIRPasses();
239}
240
241void AMDGPUPassConfig::addCodeGenPrepare() {
Matt Arsenaulte0132462016-01-30 05:19:45 +0000242 const AMDGPUTargetMachine &TM = getAMDGPUTargetMachine();
243 const AMDGPUSubtarget &ST = *TM.getSubtargetImpl();
Matt Arsenault8b175672016-02-02 19:32:42 +0000244 if (TM.getOptLevel() > CodeGenOpt::None && ST.isPromoteAllocaEnabled()) {
Matt Arsenaulte0132462016-01-30 05:19:45 +0000245 addPass(createAMDGPUPromoteAlloca(&TM));
Tom Stellard45bb48e2015-06-13 03:28:10 +0000246 addPass(createSROAPass());
247 }
248 TargetPassConfig::addCodeGenPrepare();
249}
250
251bool
252AMDGPUPassConfig::addPreISel() {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000253 addPass(createFlattenCFGPass());
Tom Stellard45bb48e2015-06-13 03:28:10 +0000254 return false;
255}
256
257bool AMDGPUPassConfig::addInstSelector() {
258 addPass(createAMDGPUISelDag(getAMDGPUTargetMachine()));
259 return false;
260}
261
Matt Arsenault0a109002015-09-25 17:41:20 +0000262bool AMDGPUPassConfig::addGCPasses() {
263 // Do nothing. GC is not supported.
264 return false;
265}
266
Tom Stellard45bb48e2015-06-13 03:28:10 +0000267//===----------------------------------------------------------------------===//
268// R600 Pass Setup
269//===----------------------------------------------------------------------===//
270
271bool R600PassConfig::addPreISel() {
272 AMDGPUPassConfig::addPreISel();
Tom Stellardbc4497b2016-02-12 23:45:29 +0000273 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
274 if (ST.IsIRStructurizerEnabled())
275 addPass(createStructurizeCFGPass());
Tom Stellard45bb48e2015-06-13 03:28:10 +0000276 addPass(createR600TextureIntrinsicsReplacer());
277 return false;
278}
279
280void R600PassConfig::addPreRegAlloc() {
281 addPass(createR600VectorRegMerger(*TM));
282}
283
284void R600PassConfig::addPreSched2() {
285 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
286 addPass(createR600EmitClauseMarkers(), false);
287 if (ST.isIfCvtEnabled())
288 addPass(&IfConverterID, false);
289 addPass(createR600ClauseMergePass(*TM), false);
290}
291
292void R600PassConfig::addPreEmitPass() {
293 addPass(createAMDGPUCFGStructurizerPass(), false);
294 addPass(createR600ExpandSpecialInstrsPass(*TM), false);
295 addPass(&FinalizeMachineBundlesID, false);
296 addPass(createR600Packetizer(*TM), false);
297 addPass(createR600ControlFlowFinalizer(*TM), false);
298}
299
300TargetPassConfig *R600TargetMachine::createPassConfig(PassManagerBase &PM) {
301 return new R600PassConfig(this, PM);
302}
303
304//===----------------------------------------------------------------------===//
305// GCN Pass Setup
306//===----------------------------------------------------------------------===//
307
308bool GCNPassConfig::addPreISel() {
309 AMDGPUPassConfig::addPreISel();
Matt Arsenault39319482015-11-06 18:01:57 +0000310
311 // FIXME: We need to run a pass to propagate the attributes when calls are
312 // supported.
313 addPass(&AMDGPUAnnotateKernelFeaturesID);
Tom Stellardbc4497b2016-02-12 23:45:29 +0000314 addPass(createStructurizeCFGPass(true)); // true -> SkipUniformRegions
Tom Stellard45bb48e2015-06-13 03:28:10 +0000315 addPass(createSinkingPass());
316 addPass(createSITypeRewriter());
Tom Stellarda6f24c62015-12-15 20:55:55 +0000317 addPass(createAMDGPUAnnotateUniformValues());
Tom Stellardbc4497b2016-02-12 23:45:29 +0000318 addPass(createSIAnnotateControlFlowPass());
Tom Stellarda6f24c62015-12-15 20:55:55 +0000319
Tom Stellard45bb48e2015-06-13 03:28:10 +0000320 return false;
321}
322
Matt Arsenault3d1c1de2016-04-14 21:58:24 +0000323void GCNPassConfig::addMachineSSAOptimization() {
324 TargetPassConfig::addMachineSSAOptimization();
325
326 // We want to fold operands after PeepholeOptimizer has run (or as part of
327 // it), because it will eliminate extra copies making it easier to fold the
328 // real source operand. We want to eliminate dead instructions after, so that
329 // we see fewer uses of the copies. We then need to clean up the dead
330 // instructions leftover after the operands are folded as well.
331 //
332 // XXX - Can we get away without running DeadMachineInstructionElim again?
333 addPass(&SIFoldOperandsID);
334 addPass(&DeadMachineInstructionElimID);
335}
336
Tom Stellard45bb48e2015-06-13 03:28:10 +0000337bool GCNPassConfig::addInstSelector() {
338 AMDGPUPassConfig::addInstSelector();
339 addPass(createSILowerI1CopiesPass());
Matt Arsenault782c03b2015-11-03 22:30:13 +0000340 addPass(&SIFixSGPRCopiesID);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000341 return false;
342}
343
Tom Stellard000c5af2016-04-14 19:09:28 +0000344#ifdef LLVM_BUILD_GLOBAL_ISEL
345bool GCNPassConfig::addIRTranslator() {
346 addPass(new IRTranslator());
347 return false;
348}
349
350bool GCNPassConfig::addRegBankSelect() {
351 return false;
352}
353#endif
354
Tom Stellard45bb48e2015-06-13 03:28:10 +0000355void GCNPassConfig::addPreRegAlloc() {
356 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
357
358 // This needs to be run directly before register allocation because
359 // earlier passes might recompute live intervals.
360 // TODO: handle CodeGenOpt::None; fast RA ignores spill weights set by the pass
361 if (getOptLevel() > CodeGenOpt::None) {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000362 insertPass(&MachineSchedulerID, &SIFixControlFlowLiveIntervalsID);
363 }
364
365 if (getOptLevel() > CodeGenOpt::None && ST.loadStoreOptEnabled()) {
366 // Don't do this with no optimizations since it throws away debug info by
367 // merging nonadjacent loads.
368
369 // This should be run after scheduling, but before register allocation. It
370 // also need extra copies to the address operand to be eliminated.
Tom Stellard45bb48e2015-06-13 03:28:10 +0000371 insertPass(&MachineSchedulerID, &SILoadStoreOptimizerID);
Matt Arsenault84db5d92015-07-14 17:57:36 +0000372 insertPass(&MachineSchedulerID, &RegisterCoalescerID);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000373 }
374 addPass(createSIShrinkInstructionsPass(), false);
Nicolai Haehnle213e87f2016-03-21 20:28:33 +0000375 addPass(createSIWholeQuadModePass());
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000376}
377
378void GCNPassConfig::addFastRegAlloc(FunctionPass *RegAllocPass) {
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000379 TargetPassConfig::addFastRegAlloc(RegAllocPass);
380}
381
382void GCNPassConfig::addOptimizedRegAlloc(FunctionPass *RegAllocPass) {
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000383 TargetPassConfig::addOptimizedRegAlloc(RegAllocPass);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000384}
385
Tom Stellard45bb48e2015-06-13 03:28:10 +0000386void GCNPassConfig::addPreSched2() {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000387}
388
389void GCNPassConfig::addPreEmitPass() {
Tom Stellardcb6ba622016-04-30 00:23:06 +0000390
391 // The hazard recognizer that runs as part of the post-ra scheduler does not
392 // gaurantee to be able handle all hazards correctly. This is because
393 // if there are multiple scheduling regions in a basic block, the regions
394 // are scheduled bottom up, so when we begin to schedule a region we don't
395 // know what instructions were emitted directly before it.
396 //
397 // Here we add a stand-alone hazard recognizer pass which can handle all cases.
398 // hazard recognizer pass.
399 addPass(&PostRAHazardRecognizerID);
400
Tom Stellard6e1967e2016-02-05 17:42:38 +0000401 addPass(createSIInsertWaitsPass(), false);
Matt Arsenaultcf2744f2016-04-29 20:23:42 +0000402 addPass(createSIShrinkInstructionsPass());
Matt Arsenault55d49cf2016-02-12 02:16:10 +0000403 addPass(createSILowerControlFlowPass(), false);
Konstantin Zhuravlyova7919322016-05-10 18:33:41 +0000404 addPass(createSIDebuggerInsertNopsPass(), false);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000405}
406
407TargetPassConfig *GCNTargetMachine::createPassConfig(PassManagerBase &PM) {
408 return new GCNPassConfig(this, PM);
409}