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