2012-12-12 05:25:42 +08:00
|
|
|
//===-- AMDGPUTargetMachine.cpp - TargetMachine for hw codegen targets-----===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
/// \file
|
|
|
|
/// \brief The AMDGPU target machine contains all of the hardware specific
|
|
|
|
/// information needed to emit code for R600 and SI GPUs.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "AMDGPUTargetMachine.h"
|
|
|
|
#include "AMDGPU.h"
|
2017-03-18 07:56:58 +08:00
|
|
|
#include "AMDGPUAliasAnalysis.h"
|
2016-06-29 01:42:09 +08:00
|
|
|
#include "AMDGPUCallLowering.h"
|
Re-commit AMDGPU/GlobalISel: Add support for simple shaders
Fix build when global-isel is disabled and fix a warning.
Summary: We can select constant/global G_LOAD, global G_STORE, and G_GEP.
Reviewers: qcolombet, MatzeB, t.p.northover, ab, arsenm
Subscribers: mehdi_amini, vkalintiris, kzhuravl, wdng, nhaehnle, mgorny, yaxunl, tony-tye, modocache, llvm-commits, dberris
Differential Revision: https://reviews.llvm.org/D26730
llvm-svn: 293551
2017-01-31 05:56:46 +08:00
|
|
|
#include "AMDGPUInstructionSelector.h"
|
|
|
|
#include "AMDGPULegalizerInfo.h"
|
|
|
|
#ifdef LLVM_BUILD_GLOBAL_ISEL
|
|
|
|
#include "AMDGPURegisterBankInfo.h"
|
|
|
|
#endif
|
2016-06-29 01:42:09 +08:00
|
|
|
#include "AMDGPUTargetObjectFile.h"
|
2015-01-31 19:17:59 +08:00
|
|
|
#include "AMDGPUTargetTransformInfo.h"
|
2017-03-21 21:15:46 +08:00
|
|
|
#include "GCNIterativeScheduler.h"
|
2016-08-30 03:42:52 +08:00
|
|
|
#include "GCNSchedStrategy.h"
|
2013-03-06 02:41:32 +08:00
|
|
|
#include "R600MachineScheduler.h"
|
2016-08-12 03:18:50 +08:00
|
|
|
#include "SIMachineScheduler.h"
|
Re-commit AMDGPU/GlobalISel: Add support for simple shaders
Fix build when global-isel is disabled and fix a warning.
Summary: We can select constant/global G_LOAD, global G_STORE, and G_GEP.
Reviewers: qcolombet, MatzeB, t.p.northover, ab, arsenm
Subscribers: mehdi_amini, vkalintiris, kzhuravl, wdng, nhaehnle, mgorny, yaxunl, tony-tye, modocache, llvm-commits, dberris
Differential Revision: https://reviews.llvm.org/D26730
llvm-svn: 293551
2017-01-31 05:56:46 +08:00
|
|
|
#include "llvm/CodeGen/GlobalISel/InstructionSelect.h"
|
2016-04-15 03:09:28 +08:00
|
|
|
#include "llvm/CodeGen/GlobalISel/IRTranslator.h"
|
Re-commit AMDGPU/GlobalISel: Add support for simple shaders
Fix build when global-isel is disabled and fix a warning.
Summary: We can select constant/global G_LOAD, global G_STORE, and G_GEP.
Reviewers: qcolombet, MatzeB, t.p.northover, ab, arsenm
Subscribers: mehdi_amini, vkalintiris, kzhuravl, wdng, nhaehnle, mgorny, yaxunl, tony-tye, modocache, llvm-commits, dberris
Differential Revision: https://reviews.llvm.org/D26730
llvm-svn: 293551
2017-01-31 05:56:46 +08:00
|
|
|
#include "llvm/CodeGen/GlobalISel/Legalizer.h"
|
|
|
|
#include "llvm/CodeGen/GlobalISel/RegBankSelect.h"
|
2012-12-12 05:25:42 +08:00
|
|
|
#include "llvm/CodeGen/Passes.h"
|
2016-05-10 11:21:59 +08:00
|
|
|
#include "llvm/CodeGen/TargetPassConfig.h"
|
2012-12-12 05:25:42 +08:00
|
|
|
#include "llvm/Support/TargetRegistry.h"
|
|
|
|
#include "llvm/Transforms/IPO.h"
|
[PM] Port the always inliner to the new pass manager in a much more
minimal and boring form than the old pass manager's version.
This pass does the very minimal amount of work necessary to inline
functions declared as always-inline. It doesn't support a wide array of
things that the legacy pass manager did support, but is alse ... about
20 lines of code. So it has that going for it. Notably things this
doesn't support:
- Array alloca merging
- To support the above, bottom-up inlining with careful history
tracking and call graph updates
- DCE of the functions that become dead after this inlining.
- Inlining through call instructions with the always_inline attribute.
Instead, it focuses on inlining functions with that attribute.
The first I've omitted because I'm hoping to just turn it off for the
primary pass manager. If that doesn't pan out, I can add it here but it
will be reasonably expensive to do so.
The second should really be handled by running global-dce after the
inliner. I don't want to re-implement the non-trivial logic necessary to
do comdat-correct DCE of functions. This means the -O0 pipeline will
have to be at least 'always-inline,global-dce', but that seems
reasonable to me. If others are seriously worried about this I'd like to
hear about it and understand why. Again, this is all solveable by
factoring that logic into a utility and calling it here, but I'd like to
wait to do that until there is a clear reason why the existing
pass-based factoring won't work.
The final point is a serious one. I can fairly easily add support for
this, but it seems both costly and a confusing construct for the use
case of the always inliner running at -O0. This attribute can of course
still impact the normal inliner easily (although I find that
a questionable re-use of the same attribute). I've started a discussion
to sort out what semantics we want here and based on that can figure out
if it makes sense ta have this complexity at O0 or not.
One other advantage of this design is that it should be quite a bit
faster due to checking for whether the function is a viable candidate
for inlining exactly once per function instead of doing it for each call
site.
Anyways, hopefully a reasonable starting point for this pass.
Differential Revision: https://reviews.llvm.org/D23299
llvm-svn: 278896
2016-08-17 10:56:20 +08:00
|
|
|
#include "llvm/Transforms/IPO/AlwaysInliner.h"
|
2017-01-27 00:49:08 +08:00
|
|
|
#include "llvm/Transforms/IPO/PassManagerBuilder.h"
|
2012-12-12 05:25:42 +08:00
|
|
|
#include "llvm/Transforms/Scalar.h"
|
2016-06-15 08:11:01 +08:00
|
|
|
#include "llvm/Transforms/Scalar/GVN.h"
|
2016-07-01 11:33:52 +08:00
|
|
|
#include "llvm/Transforms/Vectorize.h"
|
2016-12-13 06:23:53 +08:00
|
|
|
#include "llvm/IR/Attributes.h"
|
|
|
|
#include "llvm/IR/Function.h"
|
2016-12-09 03:46:04 +08:00
|
|
|
#include "llvm/IR/LegacyPassManager.h"
|
2016-12-13 06:23:53 +08:00
|
|
|
#include "llvm/Pass.h"
|
|
|
|
#include "llvm/Support/CommandLine.h"
|
|
|
|
#include "llvm/Support/Compiler.h"
|
|
|
|
#include "llvm/Target/TargetLoweringObjectFile.h"
|
|
|
|
#include <memory>
|
2012-12-12 05:25:42 +08:00
|
|
|
|
|
|
|
using namespace llvm;
|
|
|
|
|
2016-06-24 14:30:22 +08:00
|
|
|
static cl::opt<bool> EnableR600StructurizeCFG(
|
|
|
|
"r600-ir-structurize",
|
|
|
|
cl::desc("Use StructurizeCFG IR pass"),
|
|
|
|
cl::init(true));
|
|
|
|
|
2016-06-28 04:32:13 +08:00
|
|
|
static cl::opt<bool> EnableSROA(
|
|
|
|
"amdgpu-sroa",
|
|
|
|
cl::desc("Run SROA after promote alloca pass"),
|
|
|
|
cl::ReallyHidden,
|
|
|
|
cl::init(true));
|
|
|
|
|
2017-01-25 12:25:02 +08:00
|
|
|
static cl::opt<bool>
|
|
|
|
EnableEarlyIfConversion("amdgpu-early-ifcvt", cl::Hidden,
|
|
|
|
cl::desc("Run early if-conversion"),
|
|
|
|
cl::init(false));
|
|
|
|
|
2016-06-28 04:32:13 +08:00
|
|
|
static cl::opt<bool> EnableR600IfConvert(
|
|
|
|
"r600-if-convert",
|
|
|
|
cl::desc("Use if conversion pass"),
|
|
|
|
cl::ReallyHidden,
|
|
|
|
cl::init(true));
|
|
|
|
|
2016-07-01 11:33:52 +08:00
|
|
|
// Option to disable vectorizer for tests.
|
|
|
|
static cl::opt<bool> EnableLoadStoreVectorizer(
|
|
|
|
"amdgpu-load-store-vectorizer",
|
|
|
|
cl::desc("Enable load store vectorizer"),
|
2016-09-10 06:29:28 +08:00
|
|
|
cl::init(true),
|
2016-07-01 11:33:52 +08:00
|
|
|
cl::Hidden);
|
|
|
|
|
2016-12-09 01:28:47 +08:00
|
|
|
// Option to to control global loads scalarization
|
|
|
|
static cl::opt<bool> ScalarizeGlobal(
|
|
|
|
"amdgpu-scalarize-global-loads",
|
|
|
|
cl::desc("Enable global load scalarization"),
|
|
|
|
cl::init(false),
|
|
|
|
cl::Hidden);
|
|
|
|
|
2017-01-31 05:05:18 +08:00
|
|
|
// Option to run internalize pass.
|
|
|
|
static cl::opt<bool> InternalizeSymbols(
|
|
|
|
"amdgpu-internalize-symbols",
|
|
|
|
cl::desc("Enable elimination of non-kernel functions and unused globals"),
|
|
|
|
cl::init(false),
|
|
|
|
cl::Hidden);
|
|
|
|
|
[ADMGPU] SDWA peephole optimization pass.
Summary:
First iteration of SDWA peephole.
This pass tries to combine several instruction into one SDWA instruction. E.g. it converts:
'''
V_LSHRREV_B32_e32 %vreg0, 16, %vreg1
V_ADD_I32_e32 %vreg2, %vreg0, %vreg3
V_LSHLREV_B32_e32 %vreg4, 16, %vreg2
'''
Into:
'''
V_ADD_I32_sdwa %vreg4, %vreg1, %vreg3 dst_sel:WORD_1 dst_unused:UNUSED_PAD src0_sel:WORD_1 src1_sel:DWORD
'''
Pass structure:
1. Iterate over machine instruction in basic block and try to apply "SDWA patterns" to each of them. SDWA patterns match machine instruction into either source or destination SDWA operand. E.g. ''' V_LSHRREV_B32_e32 %vreg0, 16, %vreg1''' is matched to source SDWA operand '''%vreg1 src_sel:WORD_1'''.
2. Iterate over found SDWA operands and find instruction that could be potentially coverted into SDWA. E.g. for source SDWA operand potential instruction are all instruction in this basic block that uses '''%vreg0'''
3. Iterate over all potential instructions and check if they can be converted into SDWA.
4. Convert instructions to SDWA.
This review contains basic implementation of SDWA peephole pass. This pass requires additional testing fot both correctness and performance (no performance testing done).
There are several ways this pass can be improved:
1. Make this pass work on whole function not only basic block. As I can see this can be done right now without changes to pass.
2. Introduce more SDWA patterns
3. Introduce mnemonics to limit when SDWA patterns should apply
Reviewers: vpykhtin, alex-t, arsenm, rampitec
Subscribers: wdng, nhaehnle, mgorny
Differential Revision: https://reviews.llvm.org/D30038
llvm-svn: 298365
2017-03-21 20:51:34 +08:00
|
|
|
static cl::opt<bool> EnableSDWAPeephole(
|
|
|
|
"amdgpu-sdwa-peephole",
|
|
|
|
cl::desc("Enable SDWA peepholer"),
|
|
|
|
cl::init(false));
|
|
|
|
|
2017-03-18 07:56:58 +08:00
|
|
|
// Enable address space based alias analysis
|
|
|
|
static cl::opt<bool> EnableAMDGPUAliasAnalysis("enable-amdgpu-aa", cl::Hidden,
|
|
|
|
cl::desc("Enable AMDGPU Alias Analysis"),
|
|
|
|
cl::init(true));
|
|
|
|
|
2015-06-13 11:28:10 +08:00
|
|
|
extern "C" void LLVMInitializeAMDGPUTarget() {
|
2012-12-12 05:25:42 +08:00
|
|
|
// Register the target
|
2016-10-10 07:00:34 +08:00
|
|
|
RegisterTargetMachine<R600TargetMachine> X(getTheAMDGPUTarget());
|
|
|
|
RegisterTargetMachine<GCNTargetMachine> Y(getTheGCNTarget());
|
2015-10-02 06:10:03 +08:00
|
|
|
|
|
|
|
PassRegistry *PR = PassRegistry::getPassRegistry();
|
2015-10-13 01:43:59 +08:00
|
|
|
initializeSILowerI1CopiesPass(*PR);
|
2015-11-04 06:30:13 +08:00
|
|
|
initializeSIFixSGPRCopiesPass(*PR);
|
2017-01-25 01:46:17 +08:00
|
|
|
initializeSIFixVGPRCopiesPass(*PR);
|
2015-10-13 01:43:59 +08:00
|
|
|
initializeSIFoldOperandsPass(*PR);
|
[ADMGPU] SDWA peephole optimization pass.
Summary:
First iteration of SDWA peephole.
This pass tries to combine several instruction into one SDWA instruction. E.g. it converts:
'''
V_LSHRREV_B32_e32 %vreg0, 16, %vreg1
V_ADD_I32_e32 %vreg2, %vreg0, %vreg3
V_LSHLREV_B32_e32 %vreg4, 16, %vreg2
'''
Into:
'''
V_ADD_I32_sdwa %vreg4, %vreg1, %vreg3 dst_sel:WORD_1 dst_unused:UNUSED_PAD src0_sel:WORD_1 src1_sel:DWORD
'''
Pass structure:
1. Iterate over machine instruction in basic block and try to apply "SDWA patterns" to each of them. SDWA patterns match machine instruction into either source or destination SDWA operand. E.g. ''' V_LSHRREV_B32_e32 %vreg0, 16, %vreg1''' is matched to source SDWA operand '''%vreg1 src_sel:WORD_1'''.
2. Iterate over found SDWA operands and find instruction that could be potentially coverted into SDWA. E.g. for source SDWA operand potential instruction are all instruction in this basic block that uses '''%vreg0'''
3. Iterate over all potential instructions and check if they can be converted into SDWA.
4. Convert instructions to SDWA.
This review contains basic implementation of SDWA peephole pass. This pass requires additional testing fot both correctness and performance (no performance testing done).
There are several ways this pass can be improved:
1. Make this pass work on whole function not only basic block. As I can see this can be done right now without changes to pass.
2. Introduce more SDWA patterns
3. Introduce mnemonics to limit when SDWA patterns should apply
Reviewers: vpykhtin, alex-t, arsenm, rampitec
Subscribers: wdng, nhaehnle, mgorny
Differential Revision: https://reviews.llvm.org/D30038
llvm-svn: 298365
2017-03-21 20:51:34 +08:00
|
|
|
initializeSIPeepholeSDWAPass(*PR);
|
2016-06-10 07:18:47 +08:00
|
|
|
initializeSIShrinkInstructionsPass(*PR);
|
2015-10-07 08:42:53 +08:00
|
|
|
initializeSIFixControlFlowLiveIntervalsPass(*PR);
|
|
|
|
initializeSILoadStoreOptimizerPass(*PR);
|
2015-11-07 02:01:57 +08:00
|
|
|
initializeAMDGPUAnnotateKernelFeaturesPass(*PR);
|
2015-12-16 04:55:55 +08:00
|
|
|
initializeAMDGPUAnnotateUniformValuesPass(*PR);
|
2017-02-10 06:00:42 +08:00
|
|
|
initializeAMDGPULowerIntrinsicsPass(*PR);
|
2016-01-30 13:19:45 +08:00
|
|
|
initializeAMDGPUPromoteAllocaPass(*PR);
|
2016-06-24 15:07:55 +08:00
|
|
|
initializeAMDGPUCodeGenPreparePass(*PR);
|
2016-12-09 03:46:04 +08:00
|
|
|
initializeAMDGPUUnifyMetadataPass(*PR);
|
2016-01-20 23:48:27 +08:00
|
|
|
initializeSIAnnotateControlFlowPass(*PR);
|
2016-02-06 01:42:38 +08:00
|
|
|
initializeSIInsertWaitsPass(*PR);
|
2016-03-22 04:28:33 +08:00
|
|
|
initializeSIWholeQuadModePass(*PR);
|
2016-02-12 10:16:10 +08:00
|
|
|
initializeSILowerControlFlowPass(*PR);
|
2016-08-23 03:33:16 +08:00
|
|
|
initializeSIInsertSkipsPass(*PR);
|
2016-06-02 08:04:22 +08:00
|
|
|
initializeSIDebuggerInsertNopsPass(*PR);
|
2016-09-29 09:44:16 +08:00
|
|
|
initializeSIOptimizeExecMaskingPass(*PR);
|
2017-03-25 03:52:05 +08:00
|
|
|
initializeAMDGPUUnifyDivergentExitNodesPass(*PR);
|
2017-03-18 07:56:58 +08:00
|
|
|
initializeAMDGPUAAWrapperPassPass(*PR);
|
2012-12-12 05:25:42 +08:00
|
|
|
}
|
|
|
|
|
2015-09-26 05:41:28 +08:00
|
|
|
static std::unique_ptr<TargetLoweringObjectFile> createTLOF(const Triple &TT) {
|
2016-12-13 06:23:53 +08:00
|
|
|
return llvm::make_unique<AMDGPUTargetObjectFile>();
|
2015-09-26 05:41:28 +08:00
|
|
|
}
|
|
|
|
|
2013-03-06 02:41:32 +08:00
|
|
|
static ScheduleDAGInstrs *createR600MachineScheduler(MachineSchedContext *C) {
|
2016-12-13 06:23:53 +08:00
|
|
|
return new ScheduleDAGMILive(C, llvm::make_unique<R600SchedStrategy>());
|
2013-03-06 02:41:32 +08:00
|
|
|
}
|
|
|
|
|
2016-08-12 03:18:50 +08:00
|
|
|
static ScheduleDAGInstrs *createSIMachineScheduler(MachineSchedContext *C) {
|
|
|
|
return new SIScheduleDAGMI(C);
|
|
|
|
}
|
|
|
|
|
2016-08-30 03:42:52 +08:00
|
|
|
static ScheduleDAGInstrs *
|
|
|
|
createGCNMaxOccupancyMachineScheduler(MachineSchedContext *C) {
|
|
|
|
ScheduleDAGMILive *DAG =
|
2017-02-16 01:19:50 +08:00
|
|
|
new GCNScheduleDAGMILive(C, make_unique<GCNMaxOccupancySchedStrategy>(C));
|
2016-11-29 04:11:54 +08:00
|
|
|
DAG->addMutation(createLoadClusterDAGMutation(DAG->TII, DAG->TRI));
|
|
|
|
DAG->addMutation(createStoreClusterDAGMutation(DAG->TII, DAG->TRI));
|
2016-08-30 03:42:52 +08:00
|
|
|
return DAG;
|
|
|
|
}
|
|
|
|
|
2017-03-21 21:15:46 +08:00
|
|
|
static ScheduleDAGInstrs *
|
|
|
|
createIterativeGCNMaxOccupancyMachineScheduler(MachineSchedContext *C) {
|
|
|
|
auto DAG = new GCNIterativeScheduler(C,
|
|
|
|
GCNIterativeScheduler::SCHEDULE_LEGACYMAXOCCUPANCY);
|
|
|
|
DAG->addMutation(createLoadClusterDAGMutation(DAG->TII, DAG->TRI));
|
|
|
|
DAG->addMutation(createStoreClusterDAGMutation(DAG->TII, DAG->TRI));
|
|
|
|
return DAG;
|
|
|
|
}
|
|
|
|
|
|
|
|
static ScheduleDAGInstrs *createMinRegScheduler(MachineSchedContext *C) {
|
|
|
|
return new GCNIterativeScheduler(C,
|
|
|
|
GCNIterativeScheduler::SCHEDULE_MINREGFORCED);
|
|
|
|
}
|
|
|
|
|
2013-03-06 02:41:32 +08:00
|
|
|
static MachineSchedRegistry
|
2016-01-14 00:10:10 +08:00
|
|
|
R600SchedRegistry("r600", "Run R600's custom scheduler",
|
|
|
|
createR600MachineScheduler);
|
|
|
|
|
|
|
|
static MachineSchedRegistry
|
|
|
|
SISchedRegistry("si", "Run SI's custom scheduler",
|
|
|
|
createSIMachineScheduler);
|
2013-03-06 02:41:32 +08:00
|
|
|
|
2016-08-30 03:42:52 +08:00
|
|
|
static MachineSchedRegistry
|
|
|
|
GCNMaxOccupancySchedRegistry("gcn-max-occupancy",
|
|
|
|
"Run GCN scheduler to maximize occupancy",
|
|
|
|
createGCNMaxOccupancyMachineScheduler);
|
|
|
|
|
2017-03-21 21:15:46 +08:00
|
|
|
static MachineSchedRegistry
|
|
|
|
IterativeGCNMaxOccupancySchedRegistry("gcn-max-occupancy-experimental",
|
|
|
|
"Run GCN scheduler to maximize occupancy (experimental)",
|
|
|
|
createIterativeGCNMaxOccupancyMachineScheduler);
|
|
|
|
|
|
|
|
static MachineSchedRegistry
|
|
|
|
GCNMinRegSchedRegistry("gcn-minreg",
|
|
|
|
"Run GCN iterative scheduler for minimal register usage (experimental)",
|
|
|
|
createMinRegScheduler);
|
|
|
|
|
2016-06-01 00:57:45 +08:00
|
|
|
static StringRef computeDataLayout(const Triple &TT) {
|
|
|
|
if (TT.getArch() == Triple::r600) {
|
|
|
|
// 32-bit pointers.
|
|
|
|
return "e-p:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128"
|
|
|
|
"-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64";
|
2015-01-29 00:04:26 +08:00
|
|
|
}
|
|
|
|
|
2016-06-01 00:57:45 +08:00
|
|
|
// 32-bit private, local, and region pointers. 64-bit global, constant and
|
|
|
|
// flat.
|
2017-03-25 10:05:44 +08:00
|
|
|
if (TT.getEnvironmentName() == "amdgiz" ||
|
|
|
|
TT.getEnvironmentName() == "amdgizcl")
|
|
|
|
return "e-p:64:64-p1:64:64-p2:64:64-p3:32:32-p4:64:64-p5:32:32"
|
2016-06-01 00:57:45 +08:00
|
|
|
"-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128"
|
|
|
|
"-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64";
|
2017-03-25 10:05:44 +08:00
|
|
|
return "e-p:32:32-p1:64:64-p2:64:64-p3:32:32-p4:64:64-p5:32:32"
|
|
|
|
"-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128"
|
|
|
|
"-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64";
|
2015-01-29 00:04:26 +08:00
|
|
|
}
|
|
|
|
|
2016-01-27 10:17:49 +08:00
|
|
|
LLVM_READNONE
|
|
|
|
static StringRef getGPUOrDefault(const Triple &TT, StringRef GPU) {
|
|
|
|
if (!GPU.empty())
|
|
|
|
return GPU;
|
|
|
|
|
|
|
|
// HSA only supports CI+, so change the default GPU to a CI for HSA.
|
|
|
|
if (TT.getArch() == Triple::amdgcn)
|
|
|
|
return (TT.getOS() == Triple::AMDHSA) ? "kaveri" : "tahiti";
|
|
|
|
|
2016-06-03 02:37:16 +08:00
|
|
|
return "r600";
|
2016-01-27 10:17:49 +08:00
|
|
|
}
|
|
|
|
|
2016-05-19 06:04:49 +08:00
|
|
|
static Reloc::Model getEffectiveRelocModel(Optional<Reloc::Model> RM) {
|
2016-07-13 22:23:33 +08:00
|
|
|
// The AMDGPU toolchain only supports generating shared objects, so we
|
|
|
|
// must always use PIC.
|
|
|
|
return Reloc::PIC_;
|
2016-05-19 06:04:49 +08:00
|
|
|
}
|
|
|
|
|
2015-06-12 03:41:26 +08:00
|
|
|
AMDGPUTargetMachine::AMDGPUTargetMachine(const Target &T, const Triple &TT,
|
2014-07-26 06:22:39 +08:00
|
|
|
StringRef CPU, StringRef FS,
|
2016-05-19 06:04:49 +08:00
|
|
|
TargetOptions Options,
|
|
|
|
Optional<Reloc::Model> RM,
|
2014-07-26 06:22:39 +08:00
|
|
|
CodeModel::Model CM,
|
|
|
|
CodeGenOpt::Level OptLevel)
|
2016-06-24 14:30:11 +08:00
|
|
|
: LLVMTargetMachine(T, computeDataLayout(TT), TT, getGPUOrDefault(TT, CPU),
|
|
|
|
FS, Options, getEffectiveRelocModel(RM), CM, OptLevel),
|
2016-12-13 06:23:53 +08:00
|
|
|
TLOF(createTLOF(getTargetTriple())) {
|
2017-03-27 22:04:01 +08:00
|
|
|
AS = AMDGPU::getAMDGPUAS(TT);
|
2013-05-13 09:16:13 +08:00
|
|
|
initAsmInfo();
|
2012-12-12 05:25:42 +08:00
|
|
|
}
|
|
|
|
|
2016-12-13 06:23:53 +08:00
|
|
|
AMDGPUTargetMachine::~AMDGPUTargetMachine() = default;
|
2012-12-12 05:25:42 +08:00
|
|
|
|
2016-06-28 04:48:03 +08:00
|
|
|
StringRef AMDGPUTargetMachine::getGPUName(const Function &F) const {
|
|
|
|
Attribute GPUAttr = F.getFnAttribute("target-cpu");
|
|
|
|
return GPUAttr.hasAttribute(Attribute::None) ?
|
|
|
|
getTargetCPU() : GPUAttr.getValueAsString();
|
|
|
|
}
|
|
|
|
|
|
|
|
StringRef AMDGPUTargetMachine::getFeatureString(const Function &F) const {
|
|
|
|
Attribute FSAttr = F.getFnAttribute("target-features");
|
|
|
|
|
|
|
|
return FSAttr.hasAttribute(Attribute::None) ?
|
|
|
|
getTargetFeatureString() :
|
|
|
|
FSAttr.getValueAsString();
|
|
|
|
}
|
|
|
|
|
2017-03-25 02:01:14 +08:00
|
|
|
static ImmutablePass *createAMDGPUExternalAAWrapperPass() {
|
|
|
|
return createExternalAAWrapperPass([](Pass &P, Function &, AAResults &AAR) {
|
|
|
|
if (auto *WrapperPass = P.getAnalysisIfAvailable<AMDGPUAAWrapperPass>())
|
|
|
|
AAR.addAAResult(WrapperPass->getResult());
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
2017-01-27 00:49:08 +08:00
|
|
|
void AMDGPUTargetMachine::adjustPassManager(PassManagerBuilder &Builder) {
|
2017-03-18 01:13:41 +08:00
|
|
|
Builder.DivergentTarget = true;
|
|
|
|
|
2017-01-31 05:05:18 +08:00
|
|
|
bool Internalize = InternalizeSymbols &&
|
|
|
|
(getOptLevel() > CodeGenOpt::None) &&
|
|
|
|
(getTargetTriple().getArch() == Triple::amdgcn);
|
2017-03-25 02:01:14 +08:00
|
|
|
bool AMDGPUAA = EnableAMDGPUAliasAnalysis && getOptLevel() > CodeGenOpt::None;
|
|
|
|
|
2017-01-27 00:49:08 +08:00
|
|
|
Builder.addExtension(
|
2017-01-28 00:38:10 +08:00
|
|
|
PassManagerBuilder::EP_ModuleOptimizerEarly,
|
2017-03-25 02:01:14 +08:00
|
|
|
[Internalize, AMDGPUAA](const PassManagerBuilder &,
|
|
|
|
legacy::PassManagerBase &PM) {
|
|
|
|
if (AMDGPUAA) {
|
|
|
|
PM.add(createAMDGPUAAWrapperPass());
|
|
|
|
PM.add(createAMDGPUExternalAAWrapperPass());
|
|
|
|
}
|
2017-01-27 00:49:08 +08:00
|
|
|
PM.add(createAMDGPUUnifyMetadataPass());
|
2017-01-31 05:05:18 +08:00
|
|
|
if (Internalize) {
|
|
|
|
PM.add(createInternalizePass([=](const GlobalValue &GV) -> bool {
|
|
|
|
if (const Function *F = dyn_cast<Function>(&GV)) {
|
|
|
|
if (F->isDeclaration())
|
|
|
|
return true;
|
|
|
|
switch (F->getCallingConv()) {
|
|
|
|
default:
|
|
|
|
return false;
|
|
|
|
case CallingConv::AMDGPU_VS:
|
|
|
|
case CallingConv::AMDGPU_GS:
|
|
|
|
case CallingConv::AMDGPU_PS:
|
|
|
|
case CallingConv::AMDGPU_CS:
|
|
|
|
case CallingConv::AMDGPU_KERNEL:
|
|
|
|
case CallingConv::SPIR_KERNEL:
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return !GV.use_empty();
|
|
|
|
}));
|
|
|
|
PM.add(createGlobalDCEPass());
|
2017-03-21 02:06:45 +08:00
|
|
|
PM.add(createAMDGPUAlwaysInlinePass());
|
2017-01-31 05:05:18 +08:00
|
|
|
}
|
|
|
|
});
|
2017-03-25 02:01:14 +08:00
|
|
|
|
|
|
|
Builder.addExtension(
|
|
|
|
PassManagerBuilder::EP_EarlyAsPossible,
|
|
|
|
[AMDGPUAA](const PassManagerBuilder &, legacy::PassManagerBase &PM) {
|
|
|
|
if (AMDGPUAA) {
|
|
|
|
PM.add(createAMDGPUAAWrapperPass());
|
|
|
|
PM.add(createAMDGPUExternalAAWrapperPass());
|
|
|
|
}
|
|
|
|
});
|
2016-12-09 03:46:04 +08:00
|
|
|
}
|
|
|
|
|
2015-02-12 01:11:50 +08:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// R600 Target Machine (R600 -> Cayman)
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2015-06-12 03:41:26 +08:00
|
|
|
R600TargetMachine::R600TargetMachine(const Target &T, const Triple &TT,
|
2016-02-06 02:29:17 +08:00
|
|
|
StringRef CPU, StringRef FS,
|
2016-05-19 06:04:49 +08:00
|
|
|
TargetOptions Options,
|
|
|
|
Optional<Reloc::Model> RM,
|
2015-06-12 03:41:26 +08:00
|
|
|
CodeModel::Model CM, CodeGenOpt::Level OL)
|
2016-12-06 09:02:51 +08:00
|
|
|
: AMDGPUTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL) {
|
|
|
|
setRequiresStructuredCFG(true);
|
|
|
|
}
|
2016-06-28 04:48:03 +08:00
|
|
|
|
|
|
|
const R600Subtarget *R600TargetMachine::getSubtargetImpl(
|
|
|
|
const Function &F) const {
|
|
|
|
StringRef GPU = getGPUName(F);
|
|
|
|
StringRef FS = getFeatureString(F);
|
|
|
|
|
|
|
|
SmallString<128> SubtargetKey(GPU);
|
|
|
|
SubtargetKey.append(FS);
|
|
|
|
|
|
|
|
auto &I = SubtargetMap[SubtargetKey];
|
|
|
|
if (!I) {
|
|
|
|
// This needs to be done before we create a new subtarget since any
|
|
|
|
// creation will depend on the TM and the code generation flags on the
|
|
|
|
// function that reside in TargetOptions.
|
|
|
|
resetTargetOptions(F);
|
|
|
|
I = llvm::make_unique<R600Subtarget>(TargetTriple, GPU, FS, *this);
|
|
|
|
}
|
|
|
|
|
|
|
|
return I.get();
|
|
|
|
}
|
2015-02-12 01:11:50 +08:00
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// GCN Target Machine (SI+)
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2016-06-28 08:11:26 +08:00
|
|
|
#ifdef LLVM_BUILD_GLOBAL_ISEL
|
|
|
|
namespace {
|
2016-12-13 06:23:53 +08:00
|
|
|
|
2016-06-28 08:11:26 +08:00
|
|
|
struct SIGISelActualAccessor : public GISelAccessor {
|
2016-06-29 01:42:09 +08:00
|
|
|
std::unique_ptr<AMDGPUCallLowering> CallLoweringInfo;
|
Re-commit AMDGPU/GlobalISel: Add support for simple shaders
Fix build when global-isel is disabled and fix a warning.
Summary: We can select constant/global G_LOAD, global G_STORE, and G_GEP.
Reviewers: qcolombet, MatzeB, t.p.northover, ab, arsenm
Subscribers: mehdi_amini, vkalintiris, kzhuravl, wdng, nhaehnle, mgorny, yaxunl, tony-tye, modocache, llvm-commits, dberris
Differential Revision: https://reviews.llvm.org/D26730
llvm-svn: 293551
2017-01-31 05:56:46 +08:00
|
|
|
std::unique_ptr<InstructionSelector> InstSelector;
|
|
|
|
std::unique_ptr<LegalizerInfo> Legalizer;
|
|
|
|
std::unique_ptr<RegisterBankInfo> RegBankInfo;
|
2016-06-29 01:42:09 +08:00
|
|
|
const AMDGPUCallLowering *getCallLowering() const override {
|
2016-06-28 08:11:26 +08:00
|
|
|
return CallLoweringInfo.get();
|
|
|
|
}
|
Re-commit AMDGPU/GlobalISel: Add support for simple shaders
Fix build when global-isel is disabled and fix a warning.
Summary: We can select constant/global G_LOAD, global G_STORE, and G_GEP.
Reviewers: qcolombet, MatzeB, t.p.northover, ab, arsenm
Subscribers: mehdi_amini, vkalintiris, kzhuravl, wdng, nhaehnle, mgorny, yaxunl, tony-tye, modocache, llvm-commits, dberris
Differential Revision: https://reviews.llvm.org/D26730
llvm-svn: 293551
2017-01-31 05:56:46 +08:00
|
|
|
const InstructionSelector *getInstructionSelector() const override {
|
|
|
|
return InstSelector.get();
|
|
|
|
}
|
|
|
|
const LegalizerInfo *getLegalizerInfo() const override {
|
|
|
|
return Legalizer.get();
|
|
|
|
}
|
|
|
|
const RegisterBankInfo *getRegBankInfo() const override {
|
|
|
|
return RegBankInfo.get();
|
|
|
|
}
|
2016-06-28 08:11:26 +08:00
|
|
|
};
|
2016-12-13 06:23:53 +08:00
|
|
|
|
|
|
|
} // end anonymous namespace
|
2016-06-28 08:11:26 +08:00
|
|
|
#endif
|
|
|
|
|
2015-06-12 03:41:26 +08:00
|
|
|
GCNTargetMachine::GCNTargetMachine(const Target &T, const Triple &TT,
|
2016-02-06 02:29:17 +08:00
|
|
|
StringRef CPU, StringRef FS,
|
2016-05-19 06:04:49 +08:00
|
|
|
TargetOptions Options,
|
|
|
|
Optional<Reloc::Model> RM,
|
2015-06-12 03:41:26 +08:00
|
|
|
CodeModel::Model CM, CodeGenOpt::Level OL)
|
2016-06-28 04:48:03 +08:00
|
|
|
: AMDGPUTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL) {}
|
|
|
|
|
|
|
|
const SISubtarget *GCNTargetMachine::getSubtargetImpl(const Function &F) const {
|
|
|
|
StringRef GPU = getGPUName(F);
|
|
|
|
StringRef FS = getFeatureString(F);
|
|
|
|
|
|
|
|
SmallString<128> SubtargetKey(GPU);
|
|
|
|
SubtargetKey.append(FS);
|
|
|
|
|
|
|
|
auto &I = SubtargetMap[SubtargetKey];
|
|
|
|
if (!I) {
|
|
|
|
// This needs to be done before we create a new subtarget since any
|
|
|
|
// creation will depend on the TM and the code generation flags on the
|
|
|
|
// function that reside in TargetOptions.
|
|
|
|
resetTargetOptions(F);
|
|
|
|
I = llvm::make_unique<SISubtarget>(TargetTriple, GPU, FS, *this);
|
|
|
|
|
|
|
|
#ifndef LLVM_BUILD_GLOBAL_ISEL
|
|
|
|
GISelAccessor *GISel = new GISelAccessor();
|
|
|
|
#else
|
|
|
|
SIGISelActualAccessor *GISel = new SIGISelActualAccessor();
|
2016-06-29 01:42:09 +08:00
|
|
|
GISel->CallLoweringInfo.reset(
|
|
|
|
new AMDGPUCallLowering(*I->getTargetLowering()));
|
Re-commit AMDGPU/GlobalISel: Add support for simple shaders
Fix build when global-isel is disabled and fix a warning.
Summary: We can select constant/global G_LOAD, global G_STORE, and G_GEP.
Reviewers: qcolombet, MatzeB, t.p.northover, ab, arsenm
Subscribers: mehdi_amini, vkalintiris, kzhuravl, wdng, nhaehnle, mgorny, yaxunl, tony-tye, modocache, llvm-commits, dberris
Differential Revision: https://reviews.llvm.org/D26730
llvm-svn: 293551
2017-01-31 05:56:46 +08:00
|
|
|
GISel->Legalizer.reset(new AMDGPULegalizerInfo());
|
|
|
|
|
|
|
|
GISel->RegBankInfo.reset(new AMDGPURegisterBankInfo(*I->getRegisterInfo()));
|
|
|
|
GISel->InstSelector.reset(new AMDGPUInstructionSelector(*I,
|
|
|
|
*static_cast<AMDGPURegisterBankInfo*>(GISel->RegBankInfo.get())));
|
2016-06-28 04:48:03 +08:00
|
|
|
#endif
|
|
|
|
|
|
|
|
I->setGISelAccessor(*GISel);
|
|
|
|
}
|
|
|
|
|
2016-12-09 01:28:47 +08:00
|
|
|
I->setScalarizeGlobalBehavior(ScalarizeGlobal);
|
|
|
|
|
2016-06-28 04:48:03 +08:00
|
|
|
return I.get();
|
|
|
|
}
|
2015-02-12 01:11:50 +08:00
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// AMDGPU Pass Setup
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2012-12-12 05:25:42 +08:00
|
|
|
namespace {
|
2016-03-03 11:53:29 +08:00
|
|
|
|
2012-12-12 05:25:42 +08:00
|
|
|
class AMDGPUPassConfig : public TargetPassConfig {
|
|
|
|
public:
|
2015-02-12 01:11:51 +08:00
|
|
|
AMDGPUPassConfig(TargetMachine *TM, PassManagerBase &PM)
|
2015-09-26 01:41:20 +08:00
|
|
|
: TargetPassConfig(TM, PM) {
|
|
|
|
// Exceptions and StackMaps are not supported, so these passes will never do
|
|
|
|
// anything.
|
|
|
|
disablePass(&StackMapLivenessID);
|
|
|
|
disablePass(&FuncletLayoutID);
|
|
|
|
}
|
2012-12-12 05:25:42 +08:00
|
|
|
|
|
|
|
AMDGPUTargetMachine &getAMDGPUTargetMachine() const {
|
|
|
|
return getTM<AMDGPUTargetMachine>();
|
|
|
|
}
|
2013-09-20 13:14:41 +08:00
|
|
|
|
2016-11-29 04:11:54 +08:00
|
|
|
ScheduleDAGInstrs *
|
|
|
|
createMachineScheduler(MachineSchedContext *C) const override {
|
|
|
|
ScheduleDAGMILive *DAG = createGenericSchedLive(C);
|
|
|
|
DAG->addMutation(createLoadClusterDAGMutation(DAG->TII, DAG->TRI));
|
|
|
|
DAG->addMutation(createStoreClusterDAGMutation(DAG->TII, DAG->TRI));
|
|
|
|
return DAG;
|
|
|
|
}
|
|
|
|
|
2016-06-15 08:11:01 +08:00
|
|
|
void addEarlyCSEOrGVNPass();
|
|
|
|
void addStraightLineScalarOptimizationPasses();
|
2014-11-04 03:49:05 +08:00
|
|
|
void addIRPasses() override;
|
2016-07-01 11:33:52 +08:00
|
|
|
void addCodeGenPrepare() override;
|
2015-09-26 01:41:20 +08:00
|
|
|
bool addPreISel() override;
|
|
|
|
bool addInstSelector() override;
|
|
|
|
bool addGCPasses() override;
|
2015-02-12 01:11:51 +08:00
|
|
|
};
|
|
|
|
|
2016-03-11 16:00:27 +08:00
|
|
|
class R600PassConfig final : public AMDGPUPassConfig {
|
2015-02-12 01:11:51 +08:00
|
|
|
public:
|
|
|
|
R600PassConfig(TargetMachine *TM, PassManagerBase &PM)
|
2016-12-13 06:23:53 +08:00
|
|
|
: AMDGPUPassConfig(TM, PM) {}
|
2015-02-12 01:11:51 +08:00
|
|
|
|
2016-06-24 14:30:11 +08:00
|
|
|
ScheduleDAGInstrs *createMachineScheduler(
|
|
|
|
MachineSchedContext *C) const override {
|
|
|
|
return createR600MachineScheduler(C);
|
|
|
|
}
|
|
|
|
|
2015-02-12 01:11:51 +08:00
|
|
|
bool addPreISel() override;
|
|
|
|
void addPreRegAlloc() override;
|
|
|
|
void addPreSched2() override;
|
|
|
|
void addPreEmitPass() override;
|
|
|
|
};
|
|
|
|
|
2016-03-11 16:00:27 +08:00
|
|
|
class GCNPassConfig final : public AMDGPUPassConfig {
|
2015-02-12 01:11:51 +08:00
|
|
|
public:
|
|
|
|
GCNPassConfig(TargetMachine *TM, PassManagerBase &PM)
|
2016-12-13 06:23:53 +08:00
|
|
|
: AMDGPUPassConfig(TM, PM) {}
|
2016-06-24 14:30:11 +08:00
|
|
|
|
|
|
|
GCNTargetMachine &getGCNTargetMachine() const {
|
|
|
|
return getTM<GCNTargetMachine>();
|
|
|
|
}
|
|
|
|
|
|
|
|
ScheduleDAGInstrs *
|
2016-06-28 04:32:13 +08:00
|
|
|
createMachineScheduler(MachineSchedContext *C) const override;
|
2016-06-24 14:30:11 +08:00
|
|
|
|
2014-04-29 15:57:24 +08:00
|
|
|
bool addPreISel() override;
|
2016-04-15 05:58:24 +08:00
|
|
|
void addMachineSSAOptimization() override;
|
2017-01-25 12:25:02 +08:00
|
|
|
bool addILPOpts() override;
|
2014-04-29 15:57:24 +08:00
|
|
|
bool addInstSelector() override;
|
2016-04-15 03:09:28 +08:00
|
|
|
#ifdef LLVM_BUILD_GLOBAL_ISEL
|
|
|
|
bool addIRTranslator() override;
|
2016-07-23 04:03:43 +08:00
|
|
|
bool addLegalizeMachineIR() override;
|
2016-04-15 03:09:28 +08:00
|
|
|
bool addRegBankSelect() override;
|
2016-07-27 22:31:55 +08:00
|
|
|
bool addGlobalInstructionSelect() override;
|
2016-04-15 03:09:28 +08:00
|
|
|
#endif
|
2015-10-02 06:10:03 +08:00
|
|
|
void addFastRegAlloc(FunctionPass *RegAllocPass) override;
|
|
|
|
void addOptimizedRegAlloc(FunctionPass *RegAllocPass) override;
|
2014-12-12 05:26:47 +08:00
|
|
|
void addPreRegAlloc() override;
|
2016-09-29 09:44:16 +08:00
|
|
|
void addPostRegAlloc() override;
|
2014-12-12 05:26:47 +08:00
|
|
|
void addPreSched2() override;
|
|
|
|
void addPreEmitPass() override;
|
2012-12-12 05:25:42 +08:00
|
|
|
};
|
|
|
|
|
2016-12-13 06:23:53 +08:00
|
|
|
} // end anonymous namespace
|
2012-12-12 05:25:42 +08:00
|
|
|
|
2015-02-01 21:20:00 +08:00
|
|
|
TargetIRAnalysis AMDGPUTargetMachine::getTargetIRAnalysis() {
|
2015-09-17 07:38:13 +08:00
|
|
|
return TargetIRAnalysis([this](const Function &F) {
|
2016-06-28 04:48:03 +08:00
|
|
|
return TargetTransformInfo(AMDGPUTTIImpl(this, F));
|
2015-07-09 10:08:42 +08:00
|
|
|
});
|
2013-07-27 08:01:07 +08:00
|
|
|
}
|
|
|
|
|
2016-06-15 08:11:01 +08:00
|
|
|
void AMDGPUPassConfig::addEarlyCSEOrGVNPass() {
|
|
|
|
if (getOptLevel() == CodeGenOpt::Aggressive)
|
|
|
|
addPass(createGVNPass());
|
|
|
|
else
|
|
|
|
addPass(createEarlyCSEPass());
|
|
|
|
}
|
|
|
|
|
|
|
|
void AMDGPUPassConfig::addStraightLineScalarOptimizationPasses() {
|
|
|
|
addPass(createSeparateConstOffsetFromGEPPass());
|
|
|
|
addPass(createSpeculativeExecutionPass());
|
|
|
|
// ReassociateGEPs exposes more opportunites for SLSR. See
|
|
|
|
// the example in reassociate-geps-and-slsr.ll.
|
|
|
|
addPass(createStraightLineStrengthReducePass());
|
|
|
|
// SeparateConstOffsetFromGEP and SLSR creates common expressions which GVN or
|
|
|
|
// EarlyCSE can reuse.
|
|
|
|
addEarlyCSEOrGVNPass();
|
|
|
|
// Run NaryReassociate after EarlyCSE/GVN to be more effective.
|
|
|
|
addPass(createNaryReassociatePass());
|
|
|
|
// NaryReassociate on GEPs creates redundant common expressions, so run
|
|
|
|
// EarlyCSE after it.
|
|
|
|
addPass(createEarlyCSEPass());
|
|
|
|
}
|
|
|
|
|
2014-11-04 03:49:05 +08:00
|
|
|
void AMDGPUPassConfig::addIRPasses() {
|
2016-05-18 23:41:07 +08:00
|
|
|
// There is no reason to run these.
|
|
|
|
disablePass(&StackMapLivenessID);
|
|
|
|
disablePass(&FuncletLayoutID);
|
|
|
|
disablePass(&PatchableFunctionID);
|
|
|
|
|
2017-02-10 06:00:42 +08:00
|
|
|
addPass(createAMDGPULowerIntrinsicsPass());
|
|
|
|
|
2014-11-04 03:49:05 +08:00
|
|
|
// Function calls are not supported, so make sure we inline everything.
|
|
|
|
addPass(createAMDGPUAlwaysInlinePass());
|
[PM] Port the always inliner to the new pass manager in a much more
minimal and boring form than the old pass manager's version.
This pass does the very minimal amount of work necessary to inline
functions declared as always-inline. It doesn't support a wide array of
things that the legacy pass manager did support, but is alse ... about
20 lines of code. So it has that going for it. Notably things this
doesn't support:
- Array alloca merging
- To support the above, bottom-up inlining with careful history
tracking and call graph updates
- DCE of the functions that become dead after this inlining.
- Inlining through call instructions with the always_inline attribute.
Instead, it focuses on inlining functions with that attribute.
The first I've omitted because I'm hoping to just turn it off for the
primary pass manager. If that doesn't pan out, I can add it here but it
will be reasonably expensive to do so.
The second should really be handled by running global-dce after the
inliner. I don't want to re-implement the non-trivial logic necessary to
do comdat-correct DCE of functions. This means the -O0 pipeline will
have to be at least 'always-inline,global-dce', but that seems
reasonable to me. If others are seriously worried about this I'd like to
hear about it and understand why. Again, this is all solveable by
factoring that logic into a utility and calling it here, but I'd like to
wait to do that until there is a clear reason why the existing
pass-based factoring won't work.
The final point is a serious one. I can fairly easily add support for
this, but it seems both costly and a confusing construct for the use
case of the always inliner running at -O0. This attribute can of course
still impact the normal inliner easily (although I find that
a questionable re-use of the same attribute). I've started a discussion
to sort out what semantics we want here and based on that can figure out
if it makes sense ta have this complexity at O0 or not.
One other advantage of this design is that it should be quite a bit
faster due to checking for whether the function is a viable candidate
for inlining exactly once per function instead of doing it for each call
site.
Anyways, hopefully a reasonable starting point for this pass.
Differential Revision: https://reviews.llvm.org/D23299
llvm-svn: 278896
2016-08-17 10:56:20 +08:00
|
|
|
addPass(createAlwaysInlinerLegacyPass());
|
2014-11-04 03:49:05 +08:00
|
|
|
// We need to add the barrier noop pass, otherwise adding the function
|
|
|
|
// inlining pass will cause all of the PassConfigs passes to be run
|
|
|
|
// one function at a time, which means if we have a nodule with two
|
|
|
|
// functions, then we will generate code for the first function
|
|
|
|
// without ever running any passes on the second.
|
|
|
|
addPass(createBarrierNoopPass());
|
2015-11-07 02:01:57 +08:00
|
|
|
|
2017-01-31 02:40:29 +08:00
|
|
|
const AMDGPUTargetMachine &TM = getAMDGPUTargetMachine();
|
|
|
|
|
|
|
|
if (TM.getTargetTriple().getArch() == Triple::amdgcn) {
|
|
|
|
// TODO: May want to move later or split into an early and late one.
|
|
|
|
|
|
|
|
addPass(createAMDGPUCodeGenPreparePass(
|
|
|
|
static_cast<const GCNTargetMachine *>(&TM)));
|
|
|
|
}
|
|
|
|
|
2015-08-08 07:19:30 +08:00
|
|
|
// Handle uses of OpenCL image2d_t, image3d_t and sampler_t arguments.
|
|
|
|
addPass(createAMDGPUOpenCLImageTypeLoweringPass());
|
2015-11-07 02:01:57 +08:00
|
|
|
|
2016-06-28 04:32:13 +08:00
|
|
|
if (TM.getOptLevel() > CodeGenOpt::None) {
|
2017-02-08 14:16:04 +08:00
|
|
|
addPass(createInferAddressSpacesPass());
|
2016-01-30 13:19:45 +08:00
|
|
|
addPass(createAMDGPUPromoteAlloca(&TM));
|
2016-06-28 04:32:13 +08:00
|
|
|
|
|
|
|
if (EnableSROA)
|
|
|
|
addPass(createSROAPass());
|
2016-06-15 08:11:01 +08:00
|
|
|
|
2016-10-01 00:39:24 +08:00
|
|
|
addStraightLineScalarOptimizationPasses();
|
2017-03-18 07:56:58 +08:00
|
|
|
|
|
|
|
if (EnableAMDGPUAliasAnalysis) {
|
|
|
|
addPass(createAMDGPUAAWrapperPass());
|
|
|
|
addPass(createExternalAAWrapperPass([](Pass &P, Function &,
|
|
|
|
AAResults &AAR) {
|
|
|
|
if (auto *WrapperPass = P.getAnalysisIfAvailable<AMDGPUAAWrapperPass>())
|
|
|
|
AAR.addAAResult(WrapperPass->getResult());
|
|
|
|
}));
|
|
|
|
}
|
2016-10-01 00:39:24 +08:00
|
|
|
}
|
2016-06-15 08:11:01 +08:00
|
|
|
|
|
|
|
TargetPassConfig::addIRPasses();
|
|
|
|
|
|
|
|
// EarlyCSE is not always strong enough to clean up what LSR produces. For
|
|
|
|
// example, GVN can combine
|
|
|
|
//
|
|
|
|
// %0 = add %a, %b
|
|
|
|
// %1 = add %b, %a
|
|
|
|
//
|
|
|
|
// and
|
|
|
|
//
|
|
|
|
// %0 = shl nsw %a, 2
|
|
|
|
// %1 = shl %a, 2
|
|
|
|
//
|
|
|
|
// but EarlyCSE can do neither of them.
|
|
|
|
if (getOptLevel() != CodeGenOpt::None)
|
|
|
|
addEarlyCSEOrGVNPass();
|
2014-06-18 00:53:14 +08:00
|
|
|
}
|
|
|
|
|
2016-07-01 11:33:52 +08:00
|
|
|
void AMDGPUPassConfig::addCodeGenPrepare() {
|
|
|
|
TargetPassConfig::addCodeGenPrepare();
|
|
|
|
|
|
|
|
if (EnableLoadStoreVectorizer)
|
|
|
|
addPass(createLoadStoreVectorizerPass());
|
|
|
|
}
|
|
|
|
|
2016-06-24 14:30:11 +08:00
|
|
|
bool AMDGPUPassConfig::addPreISel() {
|
2013-08-06 10:43:45 +08:00
|
|
|
addPass(createFlattenCFGPass());
|
2012-12-12 05:25:42 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool AMDGPUPassConfig::addInstSelector() {
|
2016-10-04 02:47:26 +08:00
|
|
|
addPass(createAMDGPUISelDag(getAMDGPUTargetMachine(), getOptLevel()));
|
2015-02-12 01:11:51 +08:00
|
|
|
return false;
|
|
|
|
}
|
2014-11-19 05:06:58 +08:00
|
|
|
|
2015-09-26 01:41:20 +08:00
|
|
|
bool AMDGPUPassConfig::addGCPasses() {
|
|
|
|
// Do nothing. GC is not supported.
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-02-12 01:11:51 +08:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// R600 Pass Setup
|
|
|
|
//===----------------------------------------------------------------------===//
|
2014-11-19 05:06:58 +08:00
|
|
|
|
2015-02-12 01:11:51 +08:00
|
|
|
bool R600PassConfig::addPreISel() {
|
|
|
|
AMDGPUPassConfig::addPreISel();
|
2016-06-24 14:30:22 +08:00
|
|
|
|
|
|
|
if (EnableR600StructurizeCFG)
|
2016-02-13 07:45:29 +08:00
|
|
|
addPass(createStructurizeCFGPass());
|
2012-12-12 05:25:42 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-02-12 01:11:51 +08:00
|
|
|
void R600PassConfig::addPreRegAlloc() {
|
|
|
|
addPass(createR600VectorRegMerger(*TM));
|
2012-12-12 05:25:42 +08:00
|
|
|
}
|
|
|
|
|
2015-02-12 01:11:51 +08:00
|
|
|
void R600PassConfig::addPreSched2() {
|
|
|
|
addPass(createR600EmitClauseMarkers(), false);
|
2016-06-28 04:32:13 +08:00
|
|
|
if (EnableR600IfConvert)
|
2015-02-12 01:11:51 +08:00
|
|
|
addPass(&IfConverterID, false);
|
|
|
|
addPass(createR600ClauseMergePass(*TM), false);
|
|
|
|
}
|
2013-01-19 05:15:53 +08:00
|
|
|
|
2015-02-12 01:11:51 +08:00
|
|
|
void R600PassConfig::addPreEmitPass() {
|
|
|
|
addPass(createAMDGPUCFGStructurizerPass(), false);
|
|
|
|
addPass(createR600ExpandSpecialInstrsPass(*TM), false);
|
|
|
|
addPass(&FinalizeMachineBundlesID, false);
|
|
|
|
addPass(createR600Packetizer(*TM), false);
|
|
|
|
addPass(createR600ControlFlowFinalizer(*TM), false);
|
2012-12-12 05:25:42 +08:00
|
|
|
}
|
|
|
|
|
2015-02-12 01:11:51 +08:00
|
|
|
TargetPassConfig *R600TargetMachine::createPassConfig(PassManagerBase &PM) {
|
|
|
|
return new R600PassConfig(this, PM);
|
|
|
|
}
|
2012-12-12 05:25:42 +08:00
|
|
|
|
2015-02-12 01:11:51 +08:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// GCN Pass Setup
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2016-06-28 04:32:13 +08:00
|
|
|
ScheduleDAGInstrs *GCNPassConfig::createMachineScheduler(
|
|
|
|
MachineSchedContext *C) const {
|
|
|
|
const SISubtarget &ST = C->MF->getSubtarget<SISubtarget>();
|
|
|
|
if (ST.enableSIScheduler())
|
|
|
|
return createSIMachineScheduler(C);
|
2016-08-30 03:42:52 +08:00
|
|
|
return createGCNMaxOccupancyMachineScheduler(C);
|
2016-06-28 04:32:13 +08:00
|
|
|
}
|
|
|
|
|
2015-02-12 01:11:51 +08:00
|
|
|
bool GCNPassConfig::addPreISel() {
|
|
|
|
AMDGPUPassConfig::addPreISel();
|
2015-11-07 02:01:57 +08:00
|
|
|
|
|
|
|
// FIXME: We need to run a pass to propagate the attributes when calls are
|
|
|
|
// supported.
|
2017-02-19 02:29:53 +08:00
|
|
|
const AMDGPUTargetMachine &TM = getAMDGPUTargetMachine();
|
|
|
|
addPass(createAMDGPUAnnotateKernelFeaturesPass(&TM));
|
2017-03-25 03:52:05 +08:00
|
|
|
|
|
|
|
// Merge divergent exit nodes. StructurizeCFG won't recognize the multi-exit
|
|
|
|
// regions formed by them.
|
|
|
|
addPass(&AMDGPUUnifyDivergentExitNodesID);
|
2016-02-13 07:45:29 +08:00
|
|
|
addPass(createStructurizeCFGPass(true)); // true -> SkipUniformRegions
|
2015-02-12 01:11:51 +08:00
|
|
|
addPass(createSinkingPass());
|
|
|
|
addPass(createSITypeRewriter());
|
2015-12-16 04:55:55 +08:00
|
|
|
addPass(createAMDGPUAnnotateUniformValues());
|
2016-02-13 07:45:29 +08:00
|
|
|
addPass(createSIAnnotateControlFlowPass());
|
2015-12-16 04:55:55 +08:00
|
|
|
|
2015-02-12 01:11:51 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2016-04-15 05:58:24 +08:00
|
|
|
void GCNPassConfig::addMachineSSAOptimization() {
|
|
|
|
TargetPassConfig::addMachineSSAOptimization();
|
|
|
|
|
|
|
|
// We want to fold operands after PeepholeOptimizer has run (or as part of
|
|
|
|
// it), because it will eliminate extra copies making it easier to fold the
|
|
|
|
// real source operand. We want to eliminate dead instructions after, so that
|
|
|
|
// we see fewer uses of the copies. We then need to clean up the dead
|
|
|
|
// instructions leftover after the operands are folded as well.
|
|
|
|
//
|
|
|
|
// XXX - Can we get away without running DeadMachineInstructionElim again?
|
|
|
|
addPass(&SIFoldOperandsID);
|
|
|
|
addPass(&DeadMachineInstructionElimID);
|
2016-08-30 03:15:22 +08:00
|
|
|
addPass(&SILoadStoreOptimizerID);
|
2016-04-15 05:58:24 +08:00
|
|
|
}
|
|
|
|
|
2017-01-25 12:25:02 +08:00
|
|
|
bool GCNPassConfig::addILPOpts() {
|
|
|
|
if (EnableEarlyIfConversion)
|
|
|
|
addPass(&EarlyIfConverterID);
|
|
|
|
|
|
|
|
TargetPassConfig::addILPOpts();
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-02-12 01:11:51 +08:00
|
|
|
bool GCNPassConfig::addInstSelector() {
|
|
|
|
AMDGPUPassConfig::addInstSelector();
|
|
|
|
addPass(createSILowerI1CopiesPass());
|
2015-11-04 06:30:13 +08:00
|
|
|
addPass(&SIFixSGPRCopiesID);
|
2015-02-12 01:11:51 +08:00
|
|
|
return false;
|
2012-12-12 05:25:42 +08:00
|
|
|
}
|
|
|
|
|
2016-04-15 03:09:28 +08:00
|
|
|
#ifdef LLVM_BUILD_GLOBAL_ISEL
|
|
|
|
bool GCNPassConfig::addIRTranslator() {
|
|
|
|
addPass(new IRTranslator());
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2016-07-23 04:03:43 +08:00
|
|
|
bool GCNPassConfig::addLegalizeMachineIR() {
|
Re-commit AMDGPU/GlobalISel: Add support for simple shaders
Fix build when global-isel is disabled and fix a warning.
Summary: We can select constant/global G_LOAD, global G_STORE, and G_GEP.
Reviewers: qcolombet, MatzeB, t.p.northover, ab, arsenm
Subscribers: mehdi_amini, vkalintiris, kzhuravl, wdng, nhaehnle, mgorny, yaxunl, tony-tye, modocache, llvm-commits, dberris
Differential Revision: https://reviews.llvm.org/D26730
llvm-svn: 293551
2017-01-31 05:56:46 +08:00
|
|
|
addPass(new Legalizer());
|
2016-07-23 04:03:43 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2016-04-15 03:09:28 +08:00
|
|
|
bool GCNPassConfig::addRegBankSelect() {
|
Re-commit AMDGPU/GlobalISel: Add support for simple shaders
Fix build when global-isel is disabled and fix a warning.
Summary: We can select constant/global G_LOAD, global G_STORE, and G_GEP.
Reviewers: qcolombet, MatzeB, t.p.northover, ab, arsenm
Subscribers: mehdi_amini, vkalintiris, kzhuravl, wdng, nhaehnle, mgorny, yaxunl, tony-tye, modocache, llvm-commits, dberris
Differential Revision: https://reviews.llvm.org/D26730
llvm-svn: 293551
2017-01-31 05:56:46 +08:00
|
|
|
addPass(new RegBankSelect());
|
2016-04-15 03:09:28 +08:00
|
|
|
return false;
|
|
|
|
}
|
2016-07-27 22:31:55 +08:00
|
|
|
|
|
|
|
bool GCNPassConfig::addGlobalInstructionSelect() {
|
Re-commit AMDGPU/GlobalISel: Add support for simple shaders
Fix build when global-isel is disabled and fix a warning.
Summary: We can select constant/global G_LOAD, global G_STORE, and G_GEP.
Reviewers: qcolombet, MatzeB, t.p.northover, ab, arsenm
Subscribers: mehdi_amini, vkalintiris, kzhuravl, wdng, nhaehnle, mgorny, yaxunl, tony-tye, modocache, llvm-commits, dberris
Differential Revision: https://reviews.llvm.org/D26730
llvm-svn: 293551
2017-01-31 05:56:46 +08:00
|
|
|
addPass(new InstructionSelect());
|
2016-07-27 22:31:55 +08:00
|
|
|
return false;
|
|
|
|
}
|
Re-commit AMDGPU/GlobalISel: Add support for simple shaders
Fix build when global-isel is disabled and fix a warning.
Summary: We can select constant/global G_LOAD, global G_STORE, and G_GEP.
Reviewers: qcolombet, MatzeB, t.p.northover, ab, arsenm
Subscribers: mehdi_amini, vkalintiris, kzhuravl, wdng, nhaehnle, mgorny, yaxunl, tony-tye, modocache, llvm-commits, dberris
Differential Revision: https://reviews.llvm.org/D26730
llvm-svn: 293551
2017-01-31 05:56:46 +08:00
|
|
|
|
2016-04-15 03:09:28 +08:00
|
|
|
#endif
|
|
|
|
|
2015-02-12 01:11:51 +08:00
|
|
|
void GCNPassConfig::addPreRegAlloc() {
|
2016-06-23 04:26:24 +08:00
|
|
|
addPass(createSIShrinkInstructionsPass());
|
[ADMGPU] SDWA peephole optimization pass.
Summary:
First iteration of SDWA peephole.
This pass tries to combine several instruction into one SDWA instruction. E.g. it converts:
'''
V_LSHRREV_B32_e32 %vreg0, 16, %vreg1
V_ADD_I32_e32 %vreg2, %vreg0, %vreg3
V_LSHLREV_B32_e32 %vreg4, 16, %vreg2
'''
Into:
'''
V_ADD_I32_sdwa %vreg4, %vreg1, %vreg3 dst_sel:WORD_1 dst_unused:UNUSED_PAD src0_sel:WORD_1 src1_sel:DWORD
'''
Pass structure:
1. Iterate over machine instruction in basic block and try to apply "SDWA patterns" to each of them. SDWA patterns match machine instruction into either source or destination SDWA operand. E.g. ''' V_LSHRREV_B32_e32 %vreg0, 16, %vreg1''' is matched to source SDWA operand '''%vreg1 src_sel:WORD_1'''.
2. Iterate over found SDWA operands and find instruction that could be potentially coverted into SDWA. E.g. for source SDWA operand potential instruction are all instruction in this basic block that uses '''%vreg0'''
3. Iterate over all potential instructions and check if they can be converted into SDWA.
4. Convert instructions to SDWA.
This review contains basic implementation of SDWA peephole pass. This pass requires additional testing fot both correctness and performance (no performance testing done).
There are several ways this pass can be improved:
1. Make this pass work on whole function not only basic block. As I can see this can be done right now without changes to pass.
2. Introduce more SDWA patterns
3. Introduce mnemonics to limit when SDWA patterns should apply
Reviewers: vpykhtin, alex-t, arsenm, rampitec
Subscribers: wdng, nhaehnle, mgorny
Differential Revision: https://reviews.llvm.org/D30038
llvm-svn: 298365
2017-03-21 20:51:34 +08:00
|
|
|
if (EnableSDWAPeephole) {
|
|
|
|
addPass(&SIPeepholeSDWAID);
|
|
|
|
addPass(&DeadMachineInstructionElimID);
|
|
|
|
}
|
2016-03-22 04:28:33 +08:00
|
|
|
addPass(createSIWholeQuadModePass());
|
2015-10-02 06:10:03 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
void GCNPassConfig::addFastRegAlloc(FunctionPass *RegAllocPass) {
|
2016-08-23 03:33:16 +08:00
|
|
|
// FIXME: We have to disable the verifier here because of PHIElimination +
|
|
|
|
// TwoAddressInstructions disabling it.
|
2016-09-29 09:44:16 +08:00
|
|
|
|
|
|
|
// This must be run immediately after phi elimination and before
|
|
|
|
// TwoAddressInstructions, otherwise the processing of the tied operand of
|
|
|
|
// SI_ELSE will introduce a copy of the tied operand source after the else.
|
|
|
|
insertPass(&PHIEliminationID, &SILowerControlFlowID, false);
|
2016-08-23 03:33:16 +08:00
|
|
|
|
2015-10-02 06:10:03 +08:00
|
|
|
TargetPassConfig::addFastRegAlloc(RegAllocPass);
|
|
|
|
}
|
|
|
|
|
|
|
|
void GCNPassConfig::addOptimizedRegAlloc(FunctionPass *RegAllocPass) {
|
2016-08-23 03:33:16 +08:00
|
|
|
// This needs to be run directly before register allocation because earlier
|
|
|
|
// passes might recompute live intervals.
|
|
|
|
insertPass(&MachineSchedulerID, &SIFixControlFlowLiveIntervalsID);
|
|
|
|
|
2016-09-29 09:44:16 +08:00
|
|
|
// This must be run immediately after phi elimination and before
|
|
|
|
// TwoAddressInstructions, otherwise the processing of the tied operand of
|
|
|
|
// SI_ELSE will introduce a copy of the tied operand source after the else.
|
|
|
|
insertPass(&PHIEliminationID, &SILowerControlFlowID, false);
|
2016-08-23 03:33:16 +08:00
|
|
|
|
2015-10-02 06:10:03 +08:00
|
|
|
TargetPassConfig::addOptimizedRegAlloc(RegAllocPass);
|
2015-02-12 01:11:51 +08:00
|
|
|
}
|
|
|
|
|
2016-09-29 09:44:16 +08:00
|
|
|
void GCNPassConfig::addPostRegAlloc() {
|
2017-01-25 01:46:17 +08:00
|
|
|
addPass(&SIFixVGPRCopiesID);
|
2016-09-29 09:44:16 +08:00
|
|
|
addPass(&SIOptimizeExecMaskingID);
|
|
|
|
TargetPassConfig::addPostRegAlloc();
|
|
|
|
}
|
|
|
|
|
2015-02-12 01:11:51 +08:00
|
|
|
void GCNPassConfig::addPreSched2() {
|
|
|
|
}
|
|
|
|
|
|
|
|
void GCNPassConfig::addPreEmitPass() {
|
2016-04-30 08:23:06 +08:00
|
|
|
// The hazard recognizer that runs as part of the post-ra scheduler does not
|
2016-06-29 00:59:53 +08:00
|
|
|
// guarantee to be able handle all hazards correctly. This is because if there
|
|
|
|
// are multiple scheduling regions in a basic block, the regions are scheduled
|
|
|
|
// bottom up, so when we begin to schedule a region we don't know what
|
|
|
|
// instructions were emitted directly before it.
|
2016-04-30 08:23:06 +08:00
|
|
|
//
|
2016-06-29 00:59:53 +08:00
|
|
|
// Here we add a stand-alone hazard recognizer pass which can handle all
|
|
|
|
// cases.
|
2016-04-30 08:23:06 +08:00
|
|
|
addPass(&PostRAHazardRecognizerID);
|
|
|
|
|
2016-06-10 07:19:14 +08:00
|
|
|
addPass(createSIInsertWaitsPass());
|
2016-04-30 04:23:42 +08:00
|
|
|
addPass(createSIShrinkInstructionsPass());
|
2016-08-23 03:33:16 +08:00
|
|
|
addPass(&SIInsertSkipsPassID);
|
2016-06-23 04:15:28 +08:00
|
|
|
addPass(createSIDebuggerInsertNopsPass());
|
2016-10-07 00:20:41 +08:00
|
|
|
addPass(&BranchRelaxationPassID);
|
2015-02-12 01:11:51 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
TargetPassConfig *GCNTargetMachine::createPassConfig(PassManagerBase &PM) {
|
|
|
|
return new GCNPassConfig(this, PM);
|
2012-12-12 05:25:42 +08:00
|
|
|
}
|
2017-03-27 22:04:01 +08:00
|
|
|
|