xref: /freebsd/contrib/llvm-project/llvm/lib/Target/AMDGPU/AMDGPUArgumentUsageInfo.cpp (revision 5ffd83dbcc34f10e07f6d3e968ae6365869615f4)
10b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric 
90b57cec5SDimitry Andric #include "AMDGPU.h"
100b57cec5SDimitry Andric #include "AMDGPUArgumentUsageInfo.h"
11*5ffd83dbSDimitry Andric #include "AMDGPUTargetMachine.h"
12*5ffd83dbSDimitry Andric #include "MCTargetDesc/AMDGPUMCTargetDesc.h"
130b57cec5SDimitry Andric #include "SIRegisterInfo.h"
140b57cec5SDimitry Andric #include "llvm/Support/NativeFormatting.h"
150b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
160b57cec5SDimitry Andric 
170b57cec5SDimitry Andric using namespace llvm;
180b57cec5SDimitry Andric 
190b57cec5SDimitry Andric #define DEBUG_TYPE "amdgpu-argument-reg-usage-info"
200b57cec5SDimitry Andric 
210b57cec5SDimitry Andric INITIALIZE_PASS(AMDGPUArgumentUsageInfo, DEBUG_TYPE,
220b57cec5SDimitry Andric                 "Argument Register Usage Information Storage", false, true)
230b57cec5SDimitry Andric 
240b57cec5SDimitry Andric void ArgDescriptor::print(raw_ostream &OS,
250b57cec5SDimitry Andric                           const TargetRegisterInfo *TRI) const {
260b57cec5SDimitry Andric   if (!isSet()) {
270b57cec5SDimitry Andric     OS << "<not set>\n";
280b57cec5SDimitry Andric     return;
290b57cec5SDimitry Andric   }
300b57cec5SDimitry Andric 
310b57cec5SDimitry Andric   if (isRegister())
320b57cec5SDimitry Andric     OS << "Reg " << printReg(getRegister(), TRI);
330b57cec5SDimitry Andric   else
340b57cec5SDimitry Andric     OS << "Stack offset " << getStackOffset();
350b57cec5SDimitry Andric 
360b57cec5SDimitry Andric   if (isMasked()) {
370b57cec5SDimitry Andric     OS << " & ";
380b57cec5SDimitry Andric     llvm::write_hex(OS, Mask, llvm::HexPrintStyle::PrefixLower);
390b57cec5SDimitry Andric   }
400b57cec5SDimitry Andric 
410b57cec5SDimitry Andric   OS << '\n';
420b57cec5SDimitry Andric }
430b57cec5SDimitry Andric 
440b57cec5SDimitry Andric char AMDGPUArgumentUsageInfo::ID = 0;
450b57cec5SDimitry Andric 
460b57cec5SDimitry Andric const AMDGPUFunctionArgInfo AMDGPUArgumentUsageInfo::ExternFunctionInfo{};
470b57cec5SDimitry Andric 
48*5ffd83dbSDimitry Andric // Hardcoded registers from fixed function ABI
49*5ffd83dbSDimitry Andric const AMDGPUFunctionArgInfo AMDGPUArgumentUsageInfo::FixedABIFunctionInfo
50*5ffd83dbSDimitry Andric   = AMDGPUFunctionArgInfo::fixedABILayout();
51*5ffd83dbSDimitry Andric 
520b57cec5SDimitry Andric bool AMDGPUArgumentUsageInfo::doInitialization(Module &M) {
530b57cec5SDimitry Andric   return false;
540b57cec5SDimitry Andric }
550b57cec5SDimitry Andric 
560b57cec5SDimitry Andric bool AMDGPUArgumentUsageInfo::doFinalization(Module &M) {
570b57cec5SDimitry Andric   ArgInfoMap.clear();
580b57cec5SDimitry Andric   return false;
590b57cec5SDimitry Andric }
600b57cec5SDimitry Andric 
610b57cec5SDimitry Andric void AMDGPUArgumentUsageInfo::print(raw_ostream &OS, const Module *M) const {
620b57cec5SDimitry Andric   for (const auto &FI : ArgInfoMap) {
630b57cec5SDimitry Andric     OS << "Arguments for " << FI.first->getName() << '\n'
640b57cec5SDimitry Andric        << "  PrivateSegmentBuffer: " << FI.second.PrivateSegmentBuffer
650b57cec5SDimitry Andric        << "  DispatchPtr: " << FI.second.DispatchPtr
660b57cec5SDimitry Andric        << "  QueuePtr: " << FI.second.QueuePtr
670b57cec5SDimitry Andric        << "  KernargSegmentPtr: " << FI.second.KernargSegmentPtr
680b57cec5SDimitry Andric        << "  DispatchID: " << FI.second.DispatchID
690b57cec5SDimitry Andric        << "  FlatScratchInit: " << FI.second.FlatScratchInit
700b57cec5SDimitry Andric        << "  PrivateSegmentSize: " << FI.second.PrivateSegmentSize
710b57cec5SDimitry Andric        << "  WorkGroupIDX: " << FI.second.WorkGroupIDX
720b57cec5SDimitry Andric        << "  WorkGroupIDY: " << FI.second.WorkGroupIDY
730b57cec5SDimitry Andric        << "  WorkGroupIDZ: " << FI.second.WorkGroupIDZ
740b57cec5SDimitry Andric        << "  WorkGroupInfo: " << FI.second.WorkGroupInfo
750b57cec5SDimitry Andric        << "  PrivateSegmentWaveByteOffset: "
760b57cec5SDimitry Andric           << FI.second.PrivateSegmentWaveByteOffset
770b57cec5SDimitry Andric        << "  ImplicitBufferPtr: " << FI.second.ImplicitBufferPtr
780b57cec5SDimitry Andric        << "  ImplicitArgPtr: " << FI.second.ImplicitArgPtr
790b57cec5SDimitry Andric        << "  WorkItemIDX " << FI.second.WorkItemIDX
800b57cec5SDimitry Andric        << "  WorkItemIDY " << FI.second.WorkItemIDY
810b57cec5SDimitry Andric        << "  WorkItemIDZ " << FI.second.WorkItemIDZ
820b57cec5SDimitry Andric        << '\n';
830b57cec5SDimitry Andric   }
840b57cec5SDimitry Andric }
850b57cec5SDimitry Andric 
86*5ffd83dbSDimitry Andric std::tuple<const ArgDescriptor *, const TargetRegisterClass *, LLT>
870b57cec5SDimitry Andric AMDGPUFunctionArgInfo::getPreloadedValue(
880b57cec5SDimitry Andric     AMDGPUFunctionArgInfo::PreloadedValue Value) const {
890b57cec5SDimitry Andric   switch (Value) {
900b57cec5SDimitry Andric   case AMDGPUFunctionArgInfo::PRIVATE_SEGMENT_BUFFER: {
91*5ffd83dbSDimitry Andric     return std::make_tuple(PrivateSegmentBuffer ? &PrivateSegmentBuffer
92*5ffd83dbSDimitry Andric                                                 : nullptr,
93*5ffd83dbSDimitry Andric                            &AMDGPU::SGPR_128RegClass, LLT::vector(4, 32));
940b57cec5SDimitry Andric   }
950b57cec5SDimitry Andric   case AMDGPUFunctionArgInfo::IMPLICIT_BUFFER_PTR:
96*5ffd83dbSDimitry Andric     return std::make_tuple(ImplicitBufferPtr ? &ImplicitBufferPtr : nullptr,
97*5ffd83dbSDimitry Andric                            &AMDGPU::SGPR_64RegClass,
98*5ffd83dbSDimitry Andric                            LLT::pointer(AMDGPUAS::CONSTANT_ADDRESS, 64));
990b57cec5SDimitry Andric   case AMDGPUFunctionArgInfo::WORKGROUP_ID_X:
100*5ffd83dbSDimitry Andric     return std::make_tuple(WorkGroupIDX ? &WorkGroupIDX : nullptr,
101*5ffd83dbSDimitry Andric                            &AMDGPU::SGPR_32RegClass, LLT::scalar(32));
1020b57cec5SDimitry Andric   case AMDGPUFunctionArgInfo::WORKGROUP_ID_Y:
103*5ffd83dbSDimitry Andric     return std::make_tuple(WorkGroupIDY ? &WorkGroupIDY : nullptr,
104*5ffd83dbSDimitry Andric                            &AMDGPU::SGPR_32RegClass, LLT::scalar(32));
1050b57cec5SDimitry Andric   case AMDGPUFunctionArgInfo::WORKGROUP_ID_Z:
106*5ffd83dbSDimitry Andric     return std::make_tuple(WorkGroupIDZ ? &WorkGroupIDZ : nullptr,
107*5ffd83dbSDimitry Andric                            &AMDGPU::SGPR_32RegClass, LLT::scalar(32));
1080b57cec5SDimitry Andric   case AMDGPUFunctionArgInfo::PRIVATE_SEGMENT_WAVE_BYTE_OFFSET:
109*5ffd83dbSDimitry Andric     return std::make_tuple(
1100b57cec5SDimitry Andric         PrivateSegmentWaveByteOffset ? &PrivateSegmentWaveByteOffset : nullptr,
111*5ffd83dbSDimitry Andric         &AMDGPU::SGPR_32RegClass, LLT::scalar(32));
1120b57cec5SDimitry Andric   case AMDGPUFunctionArgInfo::KERNARG_SEGMENT_PTR:
113*5ffd83dbSDimitry Andric     return std::make_tuple(KernargSegmentPtr ? &KernargSegmentPtr : nullptr,
114*5ffd83dbSDimitry Andric                            &AMDGPU::SGPR_64RegClass,
115*5ffd83dbSDimitry Andric                            LLT::pointer(AMDGPUAS::CONSTANT_ADDRESS, 64));
1160b57cec5SDimitry Andric   case AMDGPUFunctionArgInfo::IMPLICIT_ARG_PTR:
117*5ffd83dbSDimitry Andric     return std::make_tuple(ImplicitArgPtr ? &ImplicitArgPtr : nullptr,
118*5ffd83dbSDimitry Andric                            &AMDGPU::SGPR_64RegClass,
119*5ffd83dbSDimitry Andric                            LLT::pointer(AMDGPUAS::CONSTANT_ADDRESS, 64));
1200b57cec5SDimitry Andric   case AMDGPUFunctionArgInfo::DISPATCH_ID:
121*5ffd83dbSDimitry Andric     return std::make_tuple(DispatchID ? &DispatchID : nullptr,
122*5ffd83dbSDimitry Andric                            &AMDGPU::SGPR_64RegClass, LLT::scalar(64));
1230b57cec5SDimitry Andric   case AMDGPUFunctionArgInfo::FLAT_SCRATCH_INIT:
124*5ffd83dbSDimitry Andric     return std::make_tuple(FlatScratchInit ? &FlatScratchInit : nullptr,
125*5ffd83dbSDimitry Andric                            &AMDGPU::SGPR_64RegClass, LLT::scalar(64));
1260b57cec5SDimitry Andric   case AMDGPUFunctionArgInfo::DISPATCH_PTR:
127*5ffd83dbSDimitry Andric     return std::make_tuple(DispatchPtr ? &DispatchPtr : nullptr,
128*5ffd83dbSDimitry Andric                            &AMDGPU::SGPR_64RegClass,
129*5ffd83dbSDimitry Andric                            LLT::pointer(AMDGPUAS::CONSTANT_ADDRESS, 64));
1300b57cec5SDimitry Andric   case AMDGPUFunctionArgInfo::QUEUE_PTR:
131*5ffd83dbSDimitry Andric     return std::make_tuple(QueuePtr ? &QueuePtr : nullptr,
132*5ffd83dbSDimitry Andric                            &AMDGPU::SGPR_64RegClass,
133*5ffd83dbSDimitry Andric                            LLT::pointer(AMDGPUAS::CONSTANT_ADDRESS, 64));
1340b57cec5SDimitry Andric   case AMDGPUFunctionArgInfo::WORKITEM_ID_X:
135*5ffd83dbSDimitry Andric     return std::make_tuple(WorkItemIDX ? &WorkItemIDX : nullptr,
136*5ffd83dbSDimitry Andric                            &AMDGPU::VGPR_32RegClass, LLT::scalar(32));
1370b57cec5SDimitry Andric   case AMDGPUFunctionArgInfo::WORKITEM_ID_Y:
138*5ffd83dbSDimitry Andric     return std::make_tuple(WorkItemIDY ? &WorkItemIDY : nullptr,
139*5ffd83dbSDimitry Andric                            &AMDGPU::VGPR_32RegClass, LLT::scalar(32));
1400b57cec5SDimitry Andric   case AMDGPUFunctionArgInfo::WORKITEM_ID_Z:
141*5ffd83dbSDimitry Andric     return std::make_tuple(WorkItemIDZ ? &WorkItemIDZ : nullptr,
142*5ffd83dbSDimitry Andric                            &AMDGPU::VGPR_32RegClass, LLT::scalar(32));
1430b57cec5SDimitry Andric   }
1440b57cec5SDimitry Andric   llvm_unreachable("unexpected preloaded value type");
1450b57cec5SDimitry Andric }
146*5ffd83dbSDimitry Andric 
147*5ffd83dbSDimitry Andric constexpr AMDGPUFunctionArgInfo AMDGPUFunctionArgInfo::fixedABILayout() {
148*5ffd83dbSDimitry Andric   AMDGPUFunctionArgInfo AI;
149*5ffd83dbSDimitry Andric   AI.PrivateSegmentBuffer
150*5ffd83dbSDimitry Andric     = ArgDescriptor::createRegister(AMDGPU::SGPR0_SGPR1_SGPR2_SGPR3);
151*5ffd83dbSDimitry Andric   AI.DispatchPtr = ArgDescriptor::createRegister(AMDGPU::SGPR4_SGPR5);
152*5ffd83dbSDimitry Andric   AI.QueuePtr = ArgDescriptor::createRegister(AMDGPU::SGPR6_SGPR7);
153*5ffd83dbSDimitry Andric 
154*5ffd83dbSDimitry Andric   // Do not pass kernarg segment pointer, only pass increment version in its
155*5ffd83dbSDimitry Andric   // place.
156*5ffd83dbSDimitry Andric   AI.ImplicitArgPtr = ArgDescriptor::createRegister(AMDGPU::SGPR8_SGPR9);
157*5ffd83dbSDimitry Andric   AI.DispatchID = ArgDescriptor::createRegister(AMDGPU::SGPR10_SGPR11);
158*5ffd83dbSDimitry Andric 
159*5ffd83dbSDimitry Andric   // Skip FlatScratchInit/PrivateSegmentSize
160*5ffd83dbSDimitry Andric   AI.WorkGroupIDX = ArgDescriptor::createRegister(AMDGPU::SGPR12);
161*5ffd83dbSDimitry Andric   AI.WorkGroupIDY = ArgDescriptor::createRegister(AMDGPU::SGPR13);
162*5ffd83dbSDimitry Andric   AI.WorkGroupIDZ = ArgDescriptor::createRegister(AMDGPU::SGPR14);
163*5ffd83dbSDimitry Andric 
164*5ffd83dbSDimitry Andric   const unsigned Mask = 0x3ff;
165*5ffd83dbSDimitry Andric   AI.WorkItemIDX = ArgDescriptor::createRegister(AMDGPU::VGPR31, Mask);
166*5ffd83dbSDimitry Andric   AI.WorkItemIDY = ArgDescriptor::createRegister(AMDGPU::VGPR31, Mask << 10);
167*5ffd83dbSDimitry Andric   AI.WorkItemIDZ = ArgDescriptor::createRegister(AMDGPU::VGPR31, Mask << 20);
168*5ffd83dbSDimitry Andric   return AI;
169*5ffd83dbSDimitry Andric }
170*5ffd83dbSDimitry Andric 
171*5ffd83dbSDimitry Andric const AMDGPUFunctionArgInfo &
172*5ffd83dbSDimitry Andric AMDGPUArgumentUsageInfo::lookupFuncArgInfo(const Function &F) const {
173*5ffd83dbSDimitry Andric   auto I = ArgInfoMap.find(&F);
174*5ffd83dbSDimitry Andric   if (I == ArgInfoMap.end()) {
175*5ffd83dbSDimitry Andric     if (AMDGPUTargetMachine::EnableFixedFunctionABI)
176*5ffd83dbSDimitry Andric       return FixedABIFunctionInfo;
177*5ffd83dbSDimitry Andric 
178*5ffd83dbSDimitry Andric     // Without the fixed ABI, we assume no function has special inputs.
179*5ffd83dbSDimitry Andric     assert(F.isDeclaration());
180*5ffd83dbSDimitry Andric     return ExternFunctionInfo;
181*5ffd83dbSDimitry Andric   }
182*5ffd83dbSDimitry Andric 
183*5ffd83dbSDimitry Andric   return I->second;
184*5ffd83dbSDimitry Andric }
185