26#include "llvm/IR/IntrinsicsAMDGPU.h"
27#include "llvm/IR/IntrinsicsR600.h"
33#define DEBUG_TYPE "amdgpu-subtarget"
49 const unsigned WavesPerWorkgroup =
50 std::max(1u, (WorkGroupSize + WaveSize - 1) / WaveSize);
52 const unsigned WorkGroupsPerCU =
53 std::max(1u, (NWaves *
getEUsPerCU()) / WavesPerWorkgroup);
59 uint32_t LDSBytes, std::pair<unsigned, unsigned> FlatWorkGroupSizes)
const {
73 auto PropsFromWGSize = [=](
unsigned WGSize)
74 -> std::tuple<const unsigned, const unsigned, unsigned> {
75 unsigned WavesPerWG =
divideCeil(WGSize, WaveSize);
77 return {WavesPerWG, WGsPerCU, WavesPerWG * WGsPerCU};
84 const auto [MinWGSize, MaxWGSize] = FlatWorkGroupSizes;
85 auto [MinWavesPerWG, MaxWGsPerCU, MaxWavesPerCU] = PropsFromWGSize(MinWGSize);
86 auto [MaxWavesPerWG, MinWGsPerCU, MinWavesPerCU] = PropsFromWGSize(MaxWGSize);
91 if (MinWavesPerCU >= MaxWavesPerCU) {
94 const unsigned WaveSlotsPerCU = WavesPerEU *
getEUsPerCU();
99 unsigned MinWavesPerCUForWGSize =
100 divideCeil(WaveSlotsPerCU, MinWGsPerCU + 1) * MinWGsPerCU;
101 if (MinWavesPerCU > MinWavesPerCUForWGSize) {
102 unsigned ExcessSlots = MinWavesPerCU - MinWavesPerCUForWGSize;
103 if (
unsigned ExcessSlotsPerWG = ExcessSlots / MinWGsPerCU) {
110 MinWavesPerCU -= MinWGsPerCU * std::min(ExcessSlotsPerWG,
111 MaxWavesPerWG - MinWavesPerWG);
118 unsigned LeftoverSlots = WaveSlotsPerCU - MaxWGsPerCU * MinWavesPerWG;
119 if (
unsigned LeftoverSlotsPerWG = LeftoverSlots / MaxWGsPerCU) {
126 MaxWavesPerCU += MaxWGsPerCU * std::min(LeftoverSlotsPerWG,
127 ((MaxWGSize - 1) / WaveSize) + 1 -
134 return {std::clamp(MinWavesPerCU /
getEUsPerCU(), 1U, WavesPerEU),
144std::pair<unsigned, unsigned>
162 std::pair<unsigned, unsigned>
Default =
167 F,
"amdgpu-flat-work-group-size",
Default);
170 if (Requested.first > Requested.second)
183 std::pair<unsigned, unsigned> RequestedWavesPerEU,
184 std::pair<unsigned, unsigned> FlatWorkGroupSizes,
unsigned LDSBytes)
const {
189 std::pair<unsigned, unsigned>
Default = {
196 if (RequestedWavesPerEU.first <
Default.first ||
197 RequestedWavesPerEU.first >
Default.second ||
198 RequestedWavesPerEU.first > RequestedWavesPerEU.second ||
203 RequestedWavesPerEU.second =
204 std::min(RequestedWavesPerEU.second,
Default.second);
205 return RequestedWavesPerEU;
208std::pair<unsigned, unsigned>
220std::pair<unsigned, unsigned>
222 unsigned LDSBytes,
const Function &
F)
const {
227 std::pair<unsigned, unsigned> Requested =
232std::optional<unsigned>
234 unsigned Dim)
const {
235 auto *Node = Kernel.
getMetadata(
"reqd_work_group_size");
236 if (Node && Node->getNumOperands() == 3)
237 return mdconst::extract<ConstantInt>(Node->getOperand(Dim))->getZExtValue();
242 const Function &
F,
bool RequiresUniformYZ)
const {
243 auto *Node =
F.getMetadata(
"reqd_work_group_size");
244 if (!Node || Node->getNumOperands() != 3)
247 mdconst::extract<ConstantInt>(Node->getOperand(0))->getZExtValue();
249 mdconst::extract<ConstantInt>(Node->getOperand(1))->getZExtValue();
251 mdconst::extract<ConstantInt>(Node->getOperand(2))->getZExtValue();
253 bool Is1D = YLen <= 1 && ZLen <= 1;
254 bool IsXLargeEnough =
256 return Is1D || IsXLargeEnough;
264 unsigned Dimension)
const {
267 return *ReqdSize - 1;
272 for (
int I = 0;
I < 3; ++
I) {
281 Function *Kernel =
I->getParent()->getParent();
282 unsigned MinSize = 0;
284 bool IdQuery =
false;
287 if (
auto *CI = dyn_cast<CallInst>(
I)) {
288 const Function *
F = CI->getCalledFunction();
290 unsigned Dim = UINT_MAX;
291 switch (
F->getIntrinsicID()) {
292 case Intrinsic::amdgcn_workitem_id_x:
293 case Intrinsic::r600_read_tidig_x:
296 case Intrinsic::r600_read_local_size_x:
299 case Intrinsic::amdgcn_workitem_id_y:
300 case Intrinsic::r600_read_tidig_y:
303 case Intrinsic::r600_read_local_size_y:
306 case Intrinsic::amdgcn_workitem_id_z:
307 case Intrinsic::r600_read_tidig_z:
310 case Intrinsic::r600_read_local_size_z:
320 MinSize = MaxSize = *ReqdSize;
337 if (
auto *CI = dyn_cast<CallBase>(
I)) {
339 CI->addRangeRetAttr(
Range);
343 I->setMetadata(LLVMContext::MD_range, MaxWorkGroupSizeRange);
353 if (
F.hasFnAttribute(
"amdgpu-no-implicitarg-ptr"))
360 const Module *M =
F.getParent();
363 return F.getFnAttributeAsParsedInteger(
"amdgpu-implicitarg-num-bytes",
368 Align &MaxAlign)
const {
377 if (Arg.hasAttribute(
"amdgpu-hidden-argument"))
380 const bool IsByRef = Arg.hasByRefAttr();
381 Type *ArgTy = IsByRef ? Arg.getParamByRefType() : Arg.getType();
382 Align Alignment =
DL.getValueOrABITypeAlignment(
383 IsByRef ? Arg.getParamAlign() : std::nullopt, ArgTy);
384 uint64_t AllocSize =
DL.getTypeAllocSize(ArgTy);
385 ExplicitArgBytes =
alignTo(ExplicitArgBytes, Alignment) + AllocSize;
386 MaxAlign = std::max(MaxAlign, Alignment);
389 return ExplicitArgBytes;
393 Align &MaxAlign)
const {
402 uint64_t TotalSize = ExplicitOffset + ExplicitArgBytes;
404 if (ImplicitBytes != 0) {
406 TotalSize =
alignTo(ExplicitArgBytes, Alignment) + ImplicitBytes;
407 MaxAlign = std::max(MaxAlign, Alignment);
426 if (TM.getTargetTriple().isAMDGCN())
436 std::numeric_limits<uint32_t>::max());
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This file describes how to lower LLVM calls to machine code calls.
This file declares the targeting of the InstructionSelector class for AMDGPU.
This file declares the targeting of the Machinelegalizer class for AMDGPU.
This file declares the targeting of the RegisterBankInfo class for AMDGPU.
Base class for AMDGPU specific classes of TargetSubtarget.
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
This file describes how to lower LLVM inline asm to machine code INLINEASM.
ConstantRange Range(APInt(BitWidth, Low), APInt(BitWidth, High))
AMDGPU R600 specific subclass of TargetSubtarget.
std::pair< unsigned, unsigned > getDefaultFlatWorkGroupSize(CallingConv::ID CC) const
bool EnableRealTrue16Insts
std::optional< unsigned > getReqdWorkGroupSize(const Function &F, unsigned Dim) const
Align getAlignmentForImplicitArgPtr() const
unsigned getEUsPerCU() const
Number of SIMDs/EUs (execution units) per "CU" ("compute unit"), where the "CU" is the unit onto whic...
bool isMesaKernel(const Function &F) const
std::pair< unsigned, unsigned > getWavesPerEU(const Function &F) const
bool useRealTrue16Insts() const
Return true if real (non-fake) variants of True16 instructions using 16-bit registers should be code-...
std::pair< unsigned, unsigned > getOccupancyWithWorkGroupSizes(uint32_t LDSBytes, const Function &F) const
Subtarget's minimum/maximum occupancy, in number of waves per EU, that can be achieved when the only ...
std::pair< unsigned, unsigned > getFlatWorkGroupSizes(const Function &F) const
bool makeLIDRangeMetadata(Instruction *I) const
Creates value range metadata on an workitemid.* intrinsic call or load.
unsigned getMaxWorkitemID(const Function &Kernel, unsigned Dimension) const
Return the maximum workitem ID value in the function, for the given (0, 1, 2) dimension.
unsigned getImplicitArgNumBytes(const Function &F) const
unsigned getLocalMemorySize() const
Return the maximum number of bytes of LDS available for all workgroups running on the same WGP or CU.
SmallVector< unsigned > getMaxNumWorkGroups(const Function &F) const
Return the number of work groups for the function.
virtual unsigned getWavesPerEUForWorkGroup(unsigned FlatWorkGroupSize) const =0
virtual unsigned getMaxWorkGroupsPerCU(unsigned FlatWorkGroupSize) const =0
unsigned getKernArgSegmentSize(const Function &F, Align &MaxAlign) const
bool hasTrue16BitInsts() const
Return true if the subtarget supports True16 instructions.
AMDGPUDwarfFlavour getAMDGPUDwarfFlavour() const
unsigned getMaxLocalMemSizeWithWaveCount(unsigned WaveCount, const Function &) const
Return the amount of LDS that can be used that will not restrict the occupancy lower than WaveCount.
virtual unsigned getMaxFlatWorkGroupSize() const =0
AMDGPUSubtarget(Triple TT)
unsigned getExplicitKernelArgOffset() const
Returns the offset in bytes from the start of the input buffer of the first explicit kernel argument.
unsigned getMaxWavesPerEU() const
bool hasWavefrontsEvenlySplittingXDim(const Function &F, bool REquiresUniformYZ=false) const
uint64_t getExplicitKernArgSize(const Function &F, Align &MaxAlign) const
bool isSingleLaneExecution(const Function &Kernel) const
Return true if only a single workitem can be active in a wave.
static const AMDGPUSubtarget & get(const MachineFunction &MF)
unsigned getWavefrontSize() const
virtual unsigned getMinFlatWorkGroupSize() const =0
std::pair< unsigned, unsigned > getEffectiveWavesPerEU(std::pair< unsigned, unsigned > RequestedWavesPerEU, std::pair< unsigned, unsigned > FlatWorkGroupSizes, unsigned LDSBytes) const
Returns the target minimum/maximum number of waves per EU.
Class for arbitrary precision integers.
This class represents an incoming formal argument to a Function.
This class represents a range of values.
A parsed version of the target data layout string in and methods for querying it.
MDNode * getMetadata(unsigned KindID) const
Get the current metadata attachments for the given kind, if any.
LLVM_ABI MDNode * createRange(const APInt &Lo, const APInt &Hi)
Return metadata describing the range [Lo, Hi).
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
Function & getFunction()
Return the LLVM function that this machine code represents.
Ty * getInfo()
getInfo - Keep track of various per-function pieces of information for backends that would like to do...
const TargetMachine & getTarget() const
getTarget - Return the target machine this machine code is compiled with
A Module instance is used to store all the information related to an LLVM module.
This class keeps track of the SPI_SP_INPUT_ADDR config register, which tells the hardware which inter...
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Primary interface to the complete machine description for the target machine.
const Triple & getTargetTriple() const
Triple - Helper class for working with autoconf configuration names.
bool isAMDGCN() const
Tests whether the target is AMDGCN.
The instances of the Type class are immutable: once they are created, they are never changed.
LLVM_READNONE constexpr bool isShader(CallingConv::ID CC)
unsigned getAMDHSACodeObjectVersion(const Module &M)
LLVM_READNONE constexpr bool isKernel(CallingConv::ID CC)
SmallVector< unsigned > getIntegerVecAttribute(const Function &F, StringRef Name, unsigned Size, unsigned DefaultVal)
std::pair< unsigned, unsigned > getIntegerPairAttribute(const Function &F, StringRef Name, std::pair< unsigned, unsigned > Default, bool OnlyFirstRequired)
@ AMDGPU_VS
Used for Mesa vertex shaders, or AMDPAL last shader stage before rasterization (vertex shader if tess...
@ AMDGPU_KERNEL
Used for AMDGPU code object kernels.
@ AMDGPU_HS
Used for Mesa/AMDPAL hull shaders (= tessellation control shaders).
@ AMDGPU_GS
Used for Mesa/AMDPAL geometry shaders.
@ AMDGPU_PS
Used for Mesa/AMDPAL pixel shaders.
@ SPIR_KERNEL
Used for SPIR kernel functions.
@ AMDGPU_ES
Used for AMDPAL shader stage before geometry shader if geometry is in use.
@ AMDGPU_LS
Used for AMDPAL vertex shader if tessellation is in use.
This is an optimization pass for GlobalISel generic memory operations.
constexpr bool isPowerOf2_32(uint32_t Value)
Return true if the argument is a power of two > 0.
constexpr T divideCeil(U Numerator, V Denominator)
Returns the integer ceil(Numerator / Denominator).
uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
@ Default
The result values are uniform if and only if all operands are uniform.
Implement std::hash so that hash_code can be used in STL containers.
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
This struct is a compact representation of a valid (non-zero power of two) alignment.