Path: blob/main/contrib/llvm-project/llvm/lib/Target/SPIRV/SPIRVCallLowering.cpp
35294 views
//===--- SPIRVCallLowering.cpp - Call lowering ------------------*- C++ -*-===//1//2// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.3// See https://llvm.org/LICENSE.txt for license information.4// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception5//6//===----------------------------------------------------------------------===//7//8// This file implements the lowering of LLVM calls to machine code calls for9// GlobalISel.10//11//===----------------------------------------------------------------------===//1213#include "SPIRVCallLowering.h"14#include "MCTargetDesc/SPIRVBaseInfo.h"15#include "SPIRV.h"16#include "SPIRVBuiltins.h"17#include "SPIRVGlobalRegistry.h"18#include "SPIRVISelLowering.h"19#include "SPIRVMetadata.h"20#include "SPIRVRegisterInfo.h"21#include "SPIRVSubtarget.h"22#include "SPIRVUtils.h"23#include "llvm/CodeGen/FunctionLoweringInfo.h"24#include "llvm/IR/IntrinsicInst.h"25#include "llvm/IR/IntrinsicsSPIRV.h"26#include "llvm/Support/ModRef.h"2728using namespace llvm;2930SPIRVCallLowering::SPIRVCallLowering(const SPIRVTargetLowering &TLI,31SPIRVGlobalRegistry *GR)32: CallLowering(&TLI), GR(GR) {}3334bool SPIRVCallLowering::lowerReturn(MachineIRBuilder &MIRBuilder,35const Value *Val, ArrayRef<Register> VRegs,36FunctionLoweringInfo &FLI,37Register SwiftErrorVReg) const {38// Maybe run postponed production of types for function pointers39if (IndirectCalls.size() > 0) {40produceIndirectPtrTypes(MIRBuilder);41IndirectCalls.clear();42}4344// Currently all return types should use a single register.45// TODO: handle the case of multiple registers.46if (VRegs.size() > 1)47return false;48if (Val) {49const auto &STI = MIRBuilder.getMF().getSubtarget();50return MIRBuilder.buildInstr(SPIRV::OpReturnValue)51.addUse(VRegs[0])52.constrainAllUses(MIRBuilder.getTII(), *STI.getRegisterInfo(),53*STI.getRegBankInfo());54}55MIRBuilder.buildInstr(SPIRV::OpReturn);56return true;57}5859// Based on the LLVM function attributes, get a SPIR-V FunctionControl.60static uint32_t getFunctionControl(const Function &F) {61MemoryEffects MemEffects = F.getMemoryEffects();6263uint32_t FuncControl = static_cast<uint32_t>(SPIRV::FunctionControl::None);6465if (F.hasFnAttribute(Attribute::AttrKind::NoInline))66FuncControl |= static_cast<uint32_t>(SPIRV::FunctionControl::DontInline);67else if (F.hasFnAttribute(Attribute::AttrKind::AlwaysInline))68FuncControl |= static_cast<uint32_t>(SPIRV::FunctionControl::Inline);6970if (MemEffects.doesNotAccessMemory())71FuncControl |= static_cast<uint32_t>(SPIRV::FunctionControl::Pure);72else if (MemEffects.onlyReadsMemory())73FuncControl |= static_cast<uint32_t>(SPIRV::FunctionControl::Const);7475return FuncControl;76}7778static ConstantInt *getConstInt(MDNode *MD, unsigned NumOp) {79if (MD->getNumOperands() > NumOp) {80auto *CMeta = dyn_cast<ConstantAsMetadata>(MD->getOperand(NumOp));81if (CMeta)82return dyn_cast<ConstantInt>(CMeta->getValue());83}84return nullptr;85}8687// If the function has pointer arguments, we are forced to re-create this88// function type from the very beginning, changing PointerType by89// TypedPointerType for each pointer argument. Otherwise, the same `Type*`90// potentially corresponds to different SPIR-V function type, effectively91// invalidating logic behind global registry and duplicates tracker.92static FunctionType *93fixFunctionTypeIfPtrArgs(SPIRVGlobalRegistry *GR, const Function &F,94FunctionType *FTy, const SPIRVType *SRetTy,95const SmallVector<SPIRVType *, 4> &SArgTys) {96if (F.getParent()->getNamedMetadata("spv.cloned_funcs"))97return FTy;9899bool hasArgPtrs = false;100for (auto &Arg : F.args()) {101// check if it's an instance of a non-typed PointerType102if (Arg.getType()->isPointerTy()) {103hasArgPtrs = true;104break;105}106}107if (!hasArgPtrs) {108Type *RetTy = FTy->getReturnType();109// check if it's an instance of a non-typed PointerType110if (!RetTy->isPointerTy())111return FTy;112}113114// re-create function type, using TypedPointerType instead of PointerType to115// properly trace argument types116const Type *RetTy = GR->getTypeForSPIRVType(SRetTy);117SmallVector<Type *, 4> ArgTys;118for (auto SArgTy : SArgTys)119ArgTys.push_back(const_cast<Type *>(GR->getTypeForSPIRVType(SArgTy)));120return FunctionType::get(const_cast<Type *>(RetTy), ArgTys, false);121}122123// This code restores function args/retvalue types for composite cases124// because the final types should still be aggregate whereas they're i32125// during the translation to cope with aggregate flattening etc.126static FunctionType *getOriginalFunctionType(const Function &F) {127auto *NamedMD = F.getParent()->getNamedMetadata("spv.cloned_funcs");128if (NamedMD == nullptr)129return F.getFunctionType();130131Type *RetTy = F.getFunctionType()->getReturnType();132SmallVector<Type *, 4> ArgTypes;133for (auto &Arg : F.args())134ArgTypes.push_back(Arg.getType());135136auto ThisFuncMDIt =137std::find_if(NamedMD->op_begin(), NamedMD->op_end(), [&F](MDNode *N) {138return isa<MDString>(N->getOperand(0)) &&139cast<MDString>(N->getOperand(0))->getString() == F.getName();140});141// TODO: probably one function can have numerous type mutations,142// so we should support this.143if (ThisFuncMDIt != NamedMD->op_end()) {144auto *ThisFuncMD = *ThisFuncMDIt;145MDNode *MD = dyn_cast<MDNode>(ThisFuncMD->getOperand(1));146assert(MD && "MDNode operand is expected");147ConstantInt *Const = getConstInt(MD, 0);148if (Const) {149auto *CMeta = dyn_cast<ConstantAsMetadata>(MD->getOperand(1));150assert(CMeta && "ConstantAsMetadata operand is expected");151assert(Const->getSExtValue() >= -1);152// Currently -1 indicates return value, greater values mean153// argument numbers.154if (Const->getSExtValue() == -1)155RetTy = CMeta->getType();156else157ArgTypes[Const->getSExtValue()] = CMeta->getType();158}159}160161return FunctionType::get(RetTy, ArgTypes, F.isVarArg());162}163164static SPIRV::AccessQualifier::AccessQualifier165getArgAccessQual(const Function &F, unsigned ArgIdx) {166if (F.getCallingConv() != CallingConv::SPIR_KERNEL)167return SPIRV::AccessQualifier::ReadWrite;168169MDString *ArgAttribute = getOCLKernelArgAccessQual(F, ArgIdx);170if (!ArgAttribute)171return SPIRV::AccessQualifier::ReadWrite;172173if (ArgAttribute->getString() == "read_only")174return SPIRV::AccessQualifier::ReadOnly;175if (ArgAttribute->getString() == "write_only")176return SPIRV::AccessQualifier::WriteOnly;177return SPIRV::AccessQualifier::ReadWrite;178}179180static std::vector<SPIRV::Decoration::Decoration>181getKernelArgTypeQual(const Function &F, unsigned ArgIdx) {182MDString *ArgAttribute = getOCLKernelArgTypeQual(F, ArgIdx);183if (ArgAttribute && ArgAttribute->getString() == "volatile")184return {SPIRV::Decoration::Volatile};185return {};186}187188static SPIRVType *getArgSPIRVType(const Function &F, unsigned ArgIdx,189SPIRVGlobalRegistry *GR,190MachineIRBuilder &MIRBuilder,191const SPIRVSubtarget &ST) {192// Read argument's access qualifier from metadata or default.193SPIRV::AccessQualifier::AccessQualifier ArgAccessQual =194getArgAccessQual(F, ArgIdx);195196Type *OriginalArgType = getOriginalFunctionType(F)->getParamType(ArgIdx);197198// If OriginalArgType is non-pointer, use the OriginalArgType (the type cannot199// be legally reassigned later).200if (!isPointerTy(OriginalArgType))201return GR->getOrCreateSPIRVType(OriginalArgType, MIRBuilder, ArgAccessQual);202203Argument *Arg = F.getArg(ArgIdx);204Type *ArgType = Arg->getType();205if (isTypedPointerTy(ArgType)) {206SPIRVType *ElementType = GR->getOrCreateSPIRVType(207cast<TypedPointerType>(ArgType)->getElementType(), MIRBuilder);208return GR->getOrCreateSPIRVPointerType(209ElementType, MIRBuilder,210addressSpaceToStorageClass(getPointerAddressSpace(ArgType), ST));211}212213// In case OriginalArgType is of untyped pointer type, there are three214// possibilities:215// 1) This is a pointer of an LLVM IR element type, passed byval/byref.216// 2) This is an OpenCL/SPIR-V builtin type if there is spv_assign_type217// intrinsic assigning a TargetExtType.218// 3) This is a pointer, try to retrieve pointer element type from a219// spv_assign_ptr_type intrinsic or otherwise use default pointer element220// type.221if (hasPointeeTypeAttr(Arg)) {222SPIRVType *ElementType =223GR->getOrCreateSPIRVType(getPointeeTypeByAttr(Arg), MIRBuilder);224return GR->getOrCreateSPIRVPointerType(225ElementType, MIRBuilder,226addressSpaceToStorageClass(getPointerAddressSpace(ArgType), ST));227}228229for (auto User : Arg->users()) {230auto *II = dyn_cast<IntrinsicInst>(User);231// Check if this is spv_assign_type assigning OpenCL/SPIR-V builtin type.232if (II && II->getIntrinsicID() == Intrinsic::spv_assign_type) {233MetadataAsValue *VMD = cast<MetadataAsValue>(II->getOperand(1));234Type *BuiltinType =235cast<ConstantAsMetadata>(VMD->getMetadata())->getType();236assert(BuiltinType->isTargetExtTy() && "Expected TargetExtType");237return GR->getOrCreateSPIRVType(BuiltinType, MIRBuilder, ArgAccessQual);238}239240// Check if this is spv_assign_ptr_type assigning pointer element type.241if (!II || II->getIntrinsicID() != Intrinsic::spv_assign_ptr_type)242continue;243244MetadataAsValue *VMD = cast<MetadataAsValue>(II->getOperand(1));245Type *ElementTy =246toTypedPointer(cast<ConstantAsMetadata>(VMD->getMetadata())->getType());247SPIRVType *ElementType = GR->getOrCreateSPIRVType(ElementTy, MIRBuilder);248return GR->getOrCreateSPIRVPointerType(249ElementType, MIRBuilder,250addressSpaceToStorageClass(251cast<ConstantInt>(II->getOperand(2))->getZExtValue(), ST));252}253254// Replace PointerType with TypedPointerType to be able to map SPIR-V types to255// LLVM types in a consistent manner256return GR->getOrCreateSPIRVType(toTypedPointer(OriginalArgType), MIRBuilder,257ArgAccessQual);258}259260static SPIRV::ExecutionModel::ExecutionModel261getExecutionModel(const SPIRVSubtarget &STI, const Function &F) {262if (STI.isOpenCLEnv())263return SPIRV::ExecutionModel::Kernel;264265auto attribute = F.getFnAttribute("hlsl.shader");266if (!attribute.isValid()) {267report_fatal_error(268"This entry point lacks mandatory hlsl.shader attribute.");269}270271const auto value = attribute.getValueAsString();272if (value == "compute")273return SPIRV::ExecutionModel::GLCompute;274275report_fatal_error("This HLSL entry point is not supported by this backend.");276}277278bool SPIRVCallLowering::lowerFormalArguments(MachineIRBuilder &MIRBuilder,279const Function &F,280ArrayRef<ArrayRef<Register>> VRegs,281FunctionLoweringInfo &FLI) const {282assert(GR && "Must initialize the SPIRV type registry before lowering args.");283GR->setCurrentFunc(MIRBuilder.getMF());284285// Get access to information about available extensions286const SPIRVSubtarget *ST =287static_cast<const SPIRVSubtarget *>(&MIRBuilder.getMF().getSubtarget());288289// Assign types and names to all args, and store their types for later.290SmallVector<SPIRVType *, 4> ArgTypeVRegs;291if (VRegs.size() > 0) {292unsigned i = 0;293for (const auto &Arg : F.args()) {294// Currently formal args should use single registers.295// TODO: handle the case of multiple registers.296if (VRegs[i].size() > 1)297return false;298auto *SpirvTy = getArgSPIRVType(F, i, GR, MIRBuilder, *ST);299GR->assignSPIRVTypeToVReg(SpirvTy, VRegs[i][0], MIRBuilder.getMF());300ArgTypeVRegs.push_back(SpirvTy);301302if (Arg.hasName())303buildOpName(VRegs[i][0], Arg.getName(), MIRBuilder);304if (isPointerTy(Arg.getType())) {305auto DerefBytes = static_cast<unsigned>(Arg.getDereferenceableBytes());306if (DerefBytes != 0)307buildOpDecorate(VRegs[i][0], MIRBuilder,308SPIRV::Decoration::MaxByteOffset, {DerefBytes});309}310if (Arg.hasAttribute(Attribute::Alignment)) {311auto Alignment = static_cast<unsigned>(312Arg.getAttribute(Attribute::Alignment).getValueAsInt());313buildOpDecorate(VRegs[i][0], MIRBuilder, SPIRV::Decoration::Alignment,314{Alignment});315}316if (Arg.hasAttribute(Attribute::ReadOnly)) {317auto Attr =318static_cast<unsigned>(SPIRV::FunctionParameterAttribute::NoWrite);319buildOpDecorate(VRegs[i][0], MIRBuilder,320SPIRV::Decoration::FuncParamAttr, {Attr});321}322if (Arg.hasAttribute(Attribute::ZExt)) {323auto Attr =324static_cast<unsigned>(SPIRV::FunctionParameterAttribute::Zext);325buildOpDecorate(VRegs[i][0], MIRBuilder,326SPIRV::Decoration::FuncParamAttr, {Attr});327}328if (Arg.hasAttribute(Attribute::NoAlias)) {329auto Attr =330static_cast<unsigned>(SPIRV::FunctionParameterAttribute::NoAlias);331buildOpDecorate(VRegs[i][0], MIRBuilder,332SPIRV::Decoration::FuncParamAttr, {Attr});333}334if (Arg.hasAttribute(Attribute::ByVal)) {335auto Attr =336static_cast<unsigned>(SPIRV::FunctionParameterAttribute::ByVal);337buildOpDecorate(VRegs[i][0], MIRBuilder,338SPIRV::Decoration::FuncParamAttr, {Attr});339}340341if (F.getCallingConv() == CallingConv::SPIR_KERNEL) {342std::vector<SPIRV::Decoration::Decoration> ArgTypeQualDecs =343getKernelArgTypeQual(F, i);344for (SPIRV::Decoration::Decoration Decoration : ArgTypeQualDecs)345buildOpDecorate(VRegs[i][0], MIRBuilder, Decoration, {});346}347348MDNode *Node = F.getMetadata("spirv.ParameterDecorations");349if (Node && i < Node->getNumOperands() &&350isa<MDNode>(Node->getOperand(i))) {351MDNode *MD = cast<MDNode>(Node->getOperand(i));352for (const MDOperand &MDOp : MD->operands()) {353MDNode *MD2 = dyn_cast<MDNode>(MDOp);354assert(MD2 && "Metadata operand is expected");355ConstantInt *Const = getConstInt(MD2, 0);356assert(Const && "MDOperand should be ConstantInt");357auto Dec =358static_cast<SPIRV::Decoration::Decoration>(Const->getZExtValue());359std::vector<uint32_t> DecVec;360for (unsigned j = 1; j < MD2->getNumOperands(); j++) {361ConstantInt *Const = getConstInt(MD2, j);362assert(Const && "MDOperand should be ConstantInt");363DecVec.push_back(static_cast<uint32_t>(Const->getZExtValue()));364}365buildOpDecorate(VRegs[i][0], MIRBuilder, Dec, DecVec);366}367}368++i;369}370}371372auto MRI = MIRBuilder.getMRI();373Register FuncVReg = MRI->createGenericVirtualRegister(LLT::scalar(32));374MRI->setRegClass(FuncVReg, &SPIRV::IDRegClass);375if (F.isDeclaration())376GR->add(&F, &MIRBuilder.getMF(), FuncVReg);377FunctionType *FTy = getOriginalFunctionType(F);378Type *FRetTy = FTy->getReturnType();379if (isUntypedPointerTy(FRetTy)) {380if (Type *FRetElemTy = GR->findDeducedElementType(&F)) {381TypedPointerType *DerivedTy = TypedPointerType::get(382toTypedPointer(FRetElemTy), getPointerAddressSpace(FRetTy));383GR->addReturnType(&F, DerivedTy);384FRetTy = DerivedTy;385}386}387SPIRVType *RetTy = GR->getOrCreateSPIRVType(FRetTy, MIRBuilder);388FTy = fixFunctionTypeIfPtrArgs(GR, F, FTy, RetTy, ArgTypeVRegs);389SPIRVType *FuncTy = GR->getOrCreateOpTypeFunctionWithArgs(390FTy, RetTy, ArgTypeVRegs, MIRBuilder);391uint32_t FuncControl = getFunctionControl(F);392393// Add OpFunction instruction394MachineInstrBuilder MB = MIRBuilder.buildInstr(SPIRV::OpFunction)395.addDef(FuncVReg)396.addUse(GR->getSPIRVTypeID(RetTy))397.addImm(FuncControl)398.addUse(GR->getSPIRVTypeID(FuncTy));399GR->recordFunctionDefinition(&F, &MB.getInstr()->getOperand(0));400401// Add OpFunctionParameter instructions402int i = 0;403for (const auto &Arg : F.args()) {404assert(VRegs[i].size() == 1 && "Formal arg has multiple vregs");405MRI->setRegClass(VRegs[i][0], &SPIRV::IDRegClass);406MIRBuilder.buildInstr(SPIRV::OpFunctionParameter)407.addDef(VRegs[i][0])408.addUse(GR->getSPIRVTypeID(ArgTypeVRegs[i]));409if (F.isDeclaration())410GR->add(&Arg, &MIRBuilder.getMF(), VRegs[i][0]);411i++;412}413// Name the function.414if (F.hasName())415buildOpName(FuncVReg, F.getName(), MIRBuilder);416417// Handle entry points and function linkage.418if (isEntryPoint(F)) {419const auto &STI = MIRBuilder.getMF().getSubtarget<SPIRVSubtarget>();420auto executionModel = getExecutionModel(STI, F);421auto MIB = MIRBuilder.buildInstr(SPIRV::OpEntryPoint)422.addImm(static_cast<uint32_t>(executionModel))423.addUse(FuncVReg);424addStringImm(F.getName(), MIB);425} else if (F.getLinkage() != GlobalValue::InternalLinkage &&426F.getLinkage() != GlobalValue::PrivateLinkage) {427SPIRV::LinkageType::LinkageType LnkTy =428F.isDeclaration()429? SPIRV::LinkageType::Import430: (F.getLinkage() == GlobalValue::LinkOnceODRLinkage &&431ST->canUseExtension(432SPIRV::Extension::SPV_KHR_linkonce_odr)433? SPIRV::LinkageType::LinkOnceODR434: SPIRV::LinkageType::Export);435buildOpDecorate(FuncVReg, MIRBuilder, SPIRV::Decoration::LinkageAttributes,436{static_cast<uint32_t>(LnkTy)}, F.getGlobalIdentifier());437}438439// Handle function pointers decoration440bool hasFunctionPointers =441ST->canUseExtension(SPIRV::Extension::SPV_INTEL_function_pointers);442if (hasFunctionPointers) {443if (F.hasFnAttribute("referenced-indirectly")) {444assert((F.getCallingConv() != CallingConv::SPIR_KERNEL) &&445"Unexpected 'referenced-indirectly' attribute of the kernel "446"function");447buildOpDecorate(FuncVReg, MIRBuilder,448SPIRV::Decoration::ReferencedIndirectlyINTEL, {});449}450}451452return true;453}454455// Used to postpone producing of indirect function pointer types after all456// indirect calls info is collected457// TODO:458// - add a topological sort of IndirectCalls to ensure the best types knowledge459// - we may need to fix function formal parameter types if they are opaque460// pointers used as function pointers in these indirect calls461void SPIRVCallLowering::produceIndirectPtrTypes(462MachineIRBuilder &MIRBuilder) const {463// Create indirect call data types if any464MachineFunction &MF = MIRBuilder.getMF();465for (auto const &IC : IndirectCalls) {466SPIRVType *SpirvRetTy = GR->getOrCreateSPIRVType(IC.RetTy, MIRBuilder);467SmallVector<SPIRVType *, 4> SpirvArgTypes;468for (size_t i = 0; i < IC.ArgTys.size(); ++i) {469SPIRVType *SPIRVTy = GR->getOrCreateSPIRVType(IC.ArgTys[i], MIRBuilder);470SpirvArgTypes.push_back(SPIRVTy);471if (!GR->getSPIRVTypeForVReg(IC.ArgRegs[i]))472GR->assignSPIRVTypeToVReg(SPIRVTy, IC.ArgRegs[i], MF);473}474// SPIR-V function type:475FunctionType *FTy =476FunctionType::get(const_cast<Type *>(IC.RetTy), IC.ArgTys, false);477SPIRVType *SpirvFuncTy = GR->getOrCreateOpTypeFunctionWithArgs(478FTy, SpirvRetTy, SpirvArgTypes, MIRBuilder);479// SPIR-V pointer to function type:480SPIRVType *IndirectFuncPtrTy = GR->getOrCreateSPIRVPointerType(481SpirvFuncTy, MIRBuilder, SPIRV::StorageClass::Function);482// Correct the Callee type483GR->assignSPIRVTypeToVReg(IndirectFuncPtrTy, IC.Callee, MF);484}485}486487bool SPIRVCallLowering::lowerCall(MachineIRBuilder &MIRBuilder,488CallLoweringInfo &Info) const {489// Currently call returns should have single vregs.490// TODO: handle the case of multiple registers.491if (Info.OrigRet.Regs.size() > 1)492return false;493MachineFunction &MF = MIRBuilder.getMF();494GR->setCurrentFunc(MF);495const Function *CF = nullptr;496std::string DemangledName;497const Type *OrigRetTy = Info.OrigRet.Ty;498499// Emit a regular OpFunctionCall. If it's an externally declared function,500// be sure to emit its type and function declaration here. It will be hoisted501// globally later.502if (Info.Callee.isGlobal()) {503std::string FuncName = Info.Callee.getGlobal()->getName().str();504DemangledName = getOclOrSpirvBuiltinDemangledName(FuncName);505CF = dyn_cast_or_null<const Function>(Info.Callee.getGlobal());506// TODO: support constexpr casts and indirect calls.507if (CF == nullptr)508return false;509if (FunctionType *FTy = getOriginalFunctionType(*CF)) {510OrigRetTy = FTy->getReturnType();511if (isUntypedPointerTy(OrigRetTy)) {512if (auto *DerivedRetTy = GR->findReturnType(CF))513OrigRetTy = DerivedRetTy;514}515}516}517518MachineRegisterInfo *MRI = MIRBuilder.getMRI();519Register ResVReg =520Info.OrigRet.Regs.empty() ? Register(0) : Info.OrigRet.Regs[0];521const auto *ST = static_cast<const SPIRVSubtarget *>(&MF.getSubtarget());522523bool isFunctionDecl = CF && CF->isDeclaration();524bool canUseOpenCL = ST->canUseExtInstSet(SPIRV::InstructionSet::OpenCL_std);525bool canUseGLSL = ST->canUseExtInstSet(SPIRV::InstructionSet::GLSL_std_450);526assert(canUseGLSL != canUseOpenCL &&527"Scenario where both sets are enabled is not supported.");528529if (isFunctionDecl && !DemangledName.empty() &&530(canUseGLSL || canUseOpenCL)) {531SmallVector<Register, 8> ArgVRegs;532for (auto Arg : Info.OrigArgs) {533assert(Arg.Regs.size() == 1 && "Call arg has multiple VRegs");534ArgVRegs.push_back(Arg.Regs[0]);535SPIRVType *SPIRVTy = GR->getOrCreateSPIRVType(Arg.Ty, MIRBuilder);536if (!GR->getSPIRVTypeForVReg(Arg.Regs[0]))537GR->assignSPIRVTypeToVReg(SPIRVTy, Arg.Regs[0], MF);538}539auto instructionSet = canUseOpenCL ? SPIRV::InstructionSet::OpenCL_std540: SPIRV::InstructionSet::GLSL_std_450;541if (auto Res =542SPIRV::lowerBuiltin(DemangledName, instructionSet, MIRBuilder,543ResVReg, OrigRetTy, ArgVRegs, GR))544return *Res;545}546547if (isFunctionDecl && !GR->find(CF, &MF).isValid()) {548// Emit the type info and forward function declaration to the first MBB549// to ensure VReg definition dependencies are valid across all MBBs.550MachineIRBuilder FirstBlockBuilder;551FirstBlockBuilder.setMF(MF);552FirstBlockBuilder.setMBB(*MF.getBlockNumbered(0));553554SmallVector<ArrayRef<Register>, 8> VRegArgs;555SmallVector<SmallVector<Register, 1>, 8> ToInsert;556for (const Argument &Arg : CF->args()) {557if (MIRBuilder.getDataLayout().getTypeStoreSize(Arg.getType()).isZero())558continue; // Don't handle zero sized types.559Register Reg = MRI->createGenericVirtualRegister(LLT::scalar(32));560MRI->setRegClass(Reg, &SPIRV::IDRegClass);561ToInsert.push_back({Reg});562VRegArgs.push_back(ToInsert.back());563}564// TODO: Reuse FunctionLoweringInfo565FunctionLoweringInfo FuncInfo;566lowerFormalArguments(FirstBlockBuilder, *CF, VRegArgs, FuncInfo);567}568569unsigned CallOp;570if (Info.CB->isIndirectCall()) {571if (!ST->canUseExtension(SPIRV::Extension::SPV_INTEL_function_pointers))572report_fatal_error("An indirect call is encountered but SPIR-V without "573"extensions does not support it",574false);575// Set instruction operation according to SPV_INTEL_function_pointers576CallOp = SPIRV::OpFunctionPointerCallINTEL;577// Collect information about the indirect call to support possible578// specification of opaque ptr types of parent function's parameters579Register CalleeReg = Info.Callee.getReg();580if (CalleeReg.isValid()) {581SPIRVCallLowering::SPIRVIndirectCall IndirectCall;582IndirectCall.Callee = CalleeReg;583IndirectCall.RetTy = OrigRetTy;584for (const auto &Arg : Info.OrigArgs) {585assert(Arg.Regs.size() == 1 && "Call arg has multiple VRegs");586IndirectCall.ArgTys.push_back(Arg.Ty);587IndirectCall.ArgRegs.push_back(Arg.Regs[0]);588}589IndirectCalls.push_back(IndirectCall);590}591} else {592// Emit a regular OpFunctionCall593CallOp = SPIRV::OpFunctionCall;594}595596// Make sure there's a valid return reg, even for functions returning void.597if (!ResVReg.isValid())598ResVReg = MIRBuilder.getMRI()->createVirtualRegister(&SPIRV::IDRegClass);599SPIRVType *RetType = GR->assignTypeToVReg(OrigRetTy, ResVReg, MIRBuilder);600601// Emit the call instruction and its args.602auto MIB = MIRBuilder.buildInstr(CallOp)603.addDef(ResVReg)604.addUse(GR->getSPIRVTypeID(RetType))605.add(Info.Callee);606607for (const auto &Arg : Info.OrigArgs) {608// Currently call args should have single vregs.609if (Arg.Regs.size() > 1)610return false;611MIB.addUse(Arg.Regs[0]);612}613return MIB.constrainAllUses(MIRBuilder.getTII(), *ST->getRegisterInfo(),614*ST->getRegBankInfo());615}616617618