27#include "llvm/IR/IntrinsicsSPIRV.h"
41 if (MIRBuilder.
getMF()
57 *STI.getRegBankInfo());
71 if (
F.hasFnAttribute(Attribute::AttrKind::NoInline))
72 FuncControl |=
static_cast<uint32_t>(SPIRV::FunctionControl::DontInline);
73 else if (
F.hasFnAttribute(Attribute::AttrKind::AlwaysInline))
74 FuncControl |=
static_cast<uint32_t>(SPIRV::FunctionControl::Inline);
77 FuncControl |=
static_cast<uint32_t>(SPIRV::FunctionControl::Pure);
79 FuncControl |=
static_cast<uint32_t>(SPIRV::FunctionControl::Const);
81 if (ST->canUseExtension(SPIRV::Extension::SPV_INTEL_optnone) ||
82 ST->canUseExtension(SPIRV::Extension::SPV_EXT_optnone))
83 if (
F.hasFnAttribute(Attribute::OptimizeNone))
84 FuncControl |=
static_cast<uint32_t>(SPIRV::FunctionControl::OptNoneEXT);
100 return Arg.getType()->isPointerTy();
103 Type *RetTy = FTy->getReturnType();
113 for (
auto SArgTy : SArgTys)
118static SPIRV::AccessQualifier::AccessQualifier
121 return SPIRV::AccessQualifier::ReadWrite;
125 return SPIRV::AccessQualifier::ReadWrite;
127 if (ArgAttribute->
getString() ==
"read_only")
128 return SPIRV::AccessQualifier::ReadOnly;
129 if (ArgAttribute->
getString() ==
"write_only")
130 return SPIRV::AccessQualifier::WriteOnly;
131 return SPIRV::AccessQualifier::ReadWrite;
139 SPIRV::AccessQualifier::AccessQualifier ArgAccessQual =
142 Type *OriginalArgType =
156 VTy->getNumElements(), MIRBuilder,
true);
186 if (
II &&
II->getIntrinsicID() == Intrinsic::spv_assign_type) {
190 assert(BuiltinType->isTargetExtTy() &&
"Expected TargetExtType");
196 if (!
II ||
II->getIntrinsicID() != Intrinsic::spv_assign_ptr_type)
203 ElementTy, MIRBuilder,
211 ArgAccessQual,
true);
214static SPIRV::ExecutionModel::ExecutionModel
217 "Environment must be resolved before lowering entry points.");
220 return SPIRV::ExecutionModel::Kernel;
222 auto attribute =
F.getFnAttribute(
"hlsl.shader");
223 if (!attribute.isValid()) {
225 "This entry point lacks mandatory hlsl.shader attribute.");
228 const auto value = attribute.getValueAsString();
229 if (value ==
"compute")
230 return SPIRV::ExecutionModel::GLCompute;
231 if (value ==
"vertex")
232 return SPIRV::ExecutionModel::Vertex;
233 if (value ==
"pixel")
234 return SPIRV::ExecutionModel::Fragment;
247 assert(GR &&
"Must initialize the SPIRV type registry before lowering args.");
248 GR->setCurrentFunc(MIRBuilder.
getMF());
256 if (VRegs.size() > 0) {
258 for (
const auto &Arg :
F.args()) {
261 if (VRegs[i].
size() > 1)
264 GR->assignSPIRVTypeToVReg(SpirvTy, VRegs[i][0], MIRBuilder.
getMF());
268 buildOpName(VRegs[i][0], Arg.getName(), MIRBuilder);
270 auto DerefBytes =
static_cast<unsigned>(Arg.getDereferenceableBytes());
273 SPIRV::Decoration::MaxByteOffset, {DerefBytes});
275 if (Arg.hasAttribute(Attribute::Alignment) && !ST->isShader()) {
276 auto Alignment =
static_cast<unsigned>(
277 Arg.getAttribute(Attribute::Alignment).getValueAsInt());
281 if (!ST->isShader()) {
282 if (Arg.hasAttribute(Attribute::ReadOnly)) {
284 static_cast<unsigned>(SPIRV::FunctionParameterAttribute::NoWrite);
286 SPIRV::Decoration::FuncParamAttr, {Attr});
288 if (Arg.hasAttribute(Attribute::ZExt)) {
290 static_cast<unsigned>(SPIRV::FunctionParameterAttribute::Zext);
292 SPIRV::Decoration::FuncParamAttr, {Attr});
294 if (Arg.hasAttribute(Attribute::SExt)) {
296 static_cast<unsigned>(SPIRV::FunctionParameterAttribute::Sext);
298 SPIRV::Decoration::FuncParamAttr, {Attr});
300 if (Arg.hasAttribute(Attribute::NoAlias)) {
302 static_cast<unsigned>(SPIRV::FunctionParameterAttribute::NoAlias);
304 SPIRV::Decoration::FuncParamAttr, {Attr});
311 if (Arg.hasAttribute(Attribute::ByVal) ||
312 (Arg.hasAttribute(Attribute::ByRef) &&
313 F.getParent()->getTargetTriple().getVendor() ==
316 static_cast<unsigned>(SPIRV::FunctionParameterAttribute::ByVal);
318 SPIRV::Decoration::FuncParamAttr, {Attr});
320 if (Arg.hasAttribute(Attribute::StructRet)) {
322 static_cast<unsigned>(SPIRV::FunctionParameterAttribute::Sret);
324 SPIRV::Decoration::FuncParamAttr, {Attr});
328 MDNode *
Node =
F.getMetadata(
"spirv.ParameterDecorations");
329 if (
Node && i < Node->getNumOperands() &&
334 assert(MD2 &&
"Metadata operand is expected");
336 assert(Const &&
"MDOperand should be ConstantInt");
338 static_cast<SPIRV::Decoration::Decoration
>(Const->getZExtValue());
339 std::vector<uint32_t> DecVec;
342 assert(Const &&
"MDOperand should be ConstantInt");
343 DecVec.push_back(
static_cast<uint32_t>(Const->getZExtValue()));
352 auto MRI = MIRBuilder.
getMRI();
354 MRI->setRegClass(FuncVReg, &SPIRV::iIDRegClass);
358 if (
Type *FRetElemTy = GR->findDeducedElementType(&
F)) {
361 GR->addReturnType(&
F, DerivedTy);
366 FRetTy, MIRBuilder, SPIRV::AccessQualifier::ReadWrite,
true);
368 SPIRVTypeInst FuncTy = GR->getOrCreateOpTypeFunctionWithArgs(
369 FTy, RetTy, ArgTypeVRegs, MIRBuilder);
375 .
addUse(GR->getSPIRVTypeID(RetTy))
377 .
addUse(GR->getSPIRVTypeID(FuncTy));
379 GR->addGlobalObject(&
F, &MIRBuilder.
getMF(), FuncVReg);
380 if (
F.isDeclaration())
385 for (
const auto &Arg :
F.args()) {
386 assert(VRegs[i].
size() == 1 &&
"Formal arg has multiple vregs");
388 MRI->setRegClass(ArgReg, GR->getRegClass(ArgTypeVRegs[i]));
389 auto MIB = MIRBuilder.
buildInstr(SPIRV::OpFunctionParameter)
391 .
addUse(GR->getSPIRVTypeID(ArgTypeVRegs[i]));
392 if (
F.isDeclaration())
394 GR->addGlobalObject(&Arg, &MIRBuilder.
getMF(), ArgReg);
403 if (
F.getName().empty())
405 auto MIB = MIRBuilder.
buildInstr(SPIRV::OpEntryPoint)
410 LnkTy && !
F.getName().empty()) {
411 buildOpDecorate(FuncVReg, MIRBuilder, SPIRV::Decoration::LinkageAttributes,
412 {
static_cast<uint32_t>(*LnkTy)},
F.getName());
416 bool hasFunctionPointers =
417 ST->canUseExtension(SPIRV::Extension::SPV_INTEL_function_pointers);
418 if (hasFunctionPointers) {
419 if (
F.hasFnAttribute(
"referenced-indirectly")) {
421 "Unexpected 'referenced-indirectly' attribute of the kernel "
424 SPIRV::Decoration::ReferencedIndirectlyINTEL, {});
439void SPIRVCallLowering::produceIndirectPtrType(
441 const SPIRVCallLowering::SPIRVIndirectCall &IC)
const {
446 IC.RetTy, MIRBuilder, SPIRV::AccessQualifier::ReadWrite,
true);
448 for (
size_t i = 0; i < IC.ArgTys.size(); ++i) {
450 IC.ArgTys[i], MIRBuilder, SPIRV::AccessQualifier::ReadWrite,
true);
459 FTy, SpirvRetTy, SpirvArgTypes, MIRBuilder);
461 auto SC = ST.canUseExtension(SPIRV::Extension::SPV_INTEL_function_pointers)
462 ? SPIRV::StorageClass::CodeSectionINTEL
463 : SPIRV::StorageClass::Function;
474 if (Info.OrigRet.Regs.size() > 1)
477 GR->setCurrentFunc(MF);
479 std::string DemangledName;
480 const Type *OrigRetTy = Info.OrigRet.Ty;
485 if (Info.Callee.isGlobal()) {
486 std::string FuncName = Info.Callee.getGlobal()->getName().str();
496 if (
auto *DerivedRetTy = GR->findReturnType(CF))
497 OrigRetTy = DerivedRetTy;
503 Info.OrigRet.Regs.empty() ?
Register(0) : Info.OrigRet.Regs[0];
507 if (isFunctionDecl && !DemangledName.empty()) {
509 if (!GR->getSPIRVTypeForVReg(ResVReg)) {
510 const Type *RetTy = OrigRetTy;
512 const Value *OrigValue = Info.OrigRet.OrigValue;
516 if (
Type *ElemTy = GR->findDeducedElementType(OrigValue))
521 SPIRV::AccessQualifier::ReadWrite,
true);
525 SPIRV::AccessQualifier::ReadWrite,
true);
528 for (
auto Arg : Info.OrigArgs) {
529 assert(Arg.Regs.size() == 1 &&
"Call arg has multiple VRegs");
534 Type *ArgTy =
nullptr;
542 if (
Type *ElemTy = GR->findDeducedElementType(Arg.OrigValue))
549 SpvType = GR->getOrCreateSPIRVType(
550 ArgTy, MIRBuilder, SPIRV::AccessQualifier::ReadWrite,
true);
551 GR->assignSPIRVTypeToVReg(SpvType, ArgReg, MF);
558 MRI->
setRegClass(ArgReg, SpvType ? GR->getRegClass(SpvType)
559 : &SPIRV::pIDRegClass);
562 SpvType ? GR->getRegType(SpvType)
564 GR->getPointerSize()));
568 DemangledName, ST->getPreferredInstructionSet(), MIRBuilder,
569 ResVReg, OrigRetTy, ArgVRegs, GR, *Info.CB))
573 if (isFunctionDecl && !GR->find(CF, &MF).isValid()) {
577 FirstBlockBuilder.
setMF(MF);
596 if (MIRBuilder.
getMF()
606 if (Info.CB && Info.CB->isIndirectCall()) {
607 if (!ST->canUseExtension(SPIRV::Extension::SPV_INTEL_function_pointers))
609 "extensions does not support it",
612 CallOp = SPIRV::OpFunctionPointerCallINTEL;
614 Register CalleeReg = Info.Callee.getReg();
621 "Function types mismatch");
622 for (
unsigned I = 0;
I != Info.OrigArgs.size(); ++
I) {
623 assert(Info.OrigArgs[
I].Regs.size() == 1 &&
624 "Call arg has multiple VRegs");
632 CallOp = SPIRV::OpFunctionCall;
639 OrigRetTy, ResVReg, MIRBuilder, SPIRV::AccessQualifier::ReadWrite,
true);
644 .
addUse(GR->getSPIRVTypeID(RetType))
647 for (
const auto &Arg : Info.OrigArgs) {
649 if (Arg.Regs.size() > 1)
651 MIB.addUse(Arg.Regs[0]);
657 if (ST->canUseExtension(SPIRV::Extension::SPV_INTEL_memory_access_aliasing)) {
662 GR->buildMemAliasingOpDecorate(ResVReg, MIRBuilder,
663 SPIRV::Decoration::AliasScopeINTEL, MD);
665 GR->buildMemAliasingOpDecorate(ResVReg, MIRBuilder,
666 SPIRV::Decoration::NoAliasINTEL, MD);
670 MIB.constrainAllUses(MIRBuilder.
getTII(), *ST->getRegisterInfo(),
671 *ST->getRegBankInfo());
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
Promote Memory to Register
uint64_t IntrinsicInst * II
static SPIRVTypeInst getArgSPIRVType(const Function &F, unsigned ArgIdx, SPIRVGlobalRegistry *GR, MachineIRBuilder &MIRBuilder, const SPIRVSubtarget &ST)
static SPIRV::ExecutionModel::ExecutionModel getExecutionModel(const SPIRVSubtarget &STI, const Function &F)
static uint32_t getFunctionControl(const Function &F, const SPIRVSubtarget *ST)
static SPIRV::AccessQualifier::AccessQualifier getArgAccessQual(const Function &F, unsigned ArgIdx)
static FunctionType * fixFunctionTypeIfPtrArgs(SPIRVGlobalRegistry *GR, const Function &F, FunctionType *FTy, SPIRVTypeInst SRetTy, const SmallVector< SPIRVTypeInst, 4 > &SArgTys)
#define SPIRV_BACKEND_SERVICE_FUN_NAME
This class represents an incoming formal argument to a Function.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
size_t size() const
Get the array size.
bool isValid() const
Return true if the attribute is any kind of attribute.
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
CallLowering(const TargetLowering *TLI)
This is the shared class of boolean and integer constants.
TypeSize getTypeStoreSize(Type *Ty) const
Returns the maximum number of bytes that may be overwritten by storing the specified type.
FunctionLoweringInfo - This contains information that is global to a function that is used when lower...
Class to represent function types.
unsigned getNumParams() const
Return the number of fixed parameters this function type requires.
Type * getParamType(unsigned i) const
Parameter type accessors.
Type * getReturnType() const
static LLVM_ABI FunctionType * get(Type *Result, ArrayRef< Type * > Params, bool isVarArg)
This static method is the primary way of constructing a FunctionType.
iterator_range< arg_iterator > args()
Attribute getFnAttribute(Attribute::AttrKind Kind) const
Return the attribute for the given attribute kind.
LLVM_ABI bool isDeclaration() const
Return true if the primary definition of this global value is outside of the current translation unit...
bool hasMetadata() const
Return true if this instruction has any metadata attached to it.
MDNode * getMetadata(unsigned KindID) const
Get the metadata of given kind attached to this Instruction.
static constexpr LLT scalar(unsigned SizeInBits)
Get a low-level scalar or aggregate "bag of bits".
static constexpr LLT pointer(unsigned AddressSpace, unsigned SizeInBits)
Get a low-level pointer in the given address space.
ArrayRef< MDOperand > operands() const
unsigned getNumOperands() const
Return number of MDNode operands.
Tracking metadata reference owned by Metadata.
LLVM_ABI StringRef getString() const
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
MachineBasicBlock * getBlockNumbered(unsigned N) const
getBlockNumbered - MachineBasicBlocks are automatically numbered when they are inserted into the mach...
Function & getFunction()
Return the LLVM function that this machine code represents.
Helper class to build MachineInstr.
const TargetInstrInfo & getTII()
MachineInstrBuilder buildInstr(unsigned Opcode)
Build and insert <empty> = Opcode <empty>.
MachineFunction & getMF()
Getter for the function we currently build.
void setMBB(MachineBasicBlock &MBB)
Set the insertion point to the end of MBB.
MachineInstrBuilder buildTrap(bool Debug=false)
Build and insert G_TRAP or G_DEBUGTRAP.
MachineRegisterInfo * getMRI()
Getter for MRI.
const DataLayout & getDataLayout() const
void setMF(MachineFunction &MF)
void constrainAllUses(const TargetInstrInfo &TII, const TargetRegisterInfo &TRI, const RegisterBankInfo &RBI) const
const MachineInstrBuilder & addUse(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a virtual register use operand.
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
const MachineInstrBuilder & add(const MachineOperand &MO) const
const MachineInstrBuilder & addDef(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a virtual register definition operand.
MachineInstr * getInstr() const
If conversion operators fail, use this method to get the MachineInstr explicitly.
LLVM_ABI void copyIRFlags(const Instruction &I)
Copy all flags to MachineInst MIFlags.
const MachineOperand & getOperand(unsigned i) const
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
LLVM_ABI Register createVirtualRegister(const TargetRegisterClass *RegClass, StringRef Name="")
createVirtualRegister - Create and return a new virtual register in the function with the specified r...
LLVM_ABI void setType(Register VReg, LLT Ty)
Set the low-level type of VReg to Ty.
LLVM_ABI void setRegClass(Register Reg, const TargetRegisterClass *RC)
setRegClass - Set the register class of the specified virtual register.
LLVM_ABI Register createGenericVirtualRegister(LLT Ty, StringRef Name="")
Create and return a new generic virtual register with low-level type Ty.
const TargetRegisterClass * getRegClassOrNull(Register Reg) const
Return the register class of Reg, or null if Reg has not been assigned a register class yet.
bool doesNotAccessMemory() const
Whether this function accesses no memory.
bool onlyReadsMemory() const
Whether this function only (at most) reads memory.
Wrapper class representing virtual and physical registers.
constexpr bool isValid() const
bool lowerCall(MachineIRBuilder &MIRBuilder, CallLoweringInfo &Info) const override
This hook must be implemented to lower the given call instruction, including argument and return valu...
bool lowerReturn(MachineIRBuilder &MIRBuiler, const Value *Val, ArrayRef< Register > VRegs, FunctionLoweringInfo &FLI, Register SwiftErrorVReg) const override
This hook must be implemented to lower outgoing return values, described by Val, into the specified v...
SPIRVCallLowering(const SPIRVTargetLowering &TLI, SPIRVGlobalRegistry *GR)
bool lowerFormalArguments(MachineIRBuilder &MIRBuilder, const Function &F, ArrayRef< ArrayRef< Register > > VRegs, FunctionLoweringInfo &FLI) const override
This hook must be implemented to lower the incoming (formal) arguments, described by VRegs,...
void assignSPIRVTypeToVReg(SPIRVTypeInst Type, Register VReg, const MachineFunction &MF)
SPIRVTypeInst getOrCreateOpTypeFunctionWithArgs(const Type *Ty, SPIRVTypeInst RetType, const SmallVectorImpl< SPIRVTypeInst > &ArgTypes, MachineIRBuilder &MIRBuilder)
SPIRVTypeInst getOrCreateSPIRVPointerType(const Type *BaseType, MachineIRBuilder &MIRBuilder, SPIRV::StorageClass::StorageClass SC, bool ForceTyped=false)
SPIRVTypeInst getOrCreateSPIRVTypedPointerType(const Type *BaseType, MachineIRBuilder &MIRBuilder, SPIRV::StorageClass::StorageClass SC)
SPIRVTypeInst getOrCreateSPIRVVectorType(SPIRVTypeInst BaseType, unsigned NumElements, MachineIRBuilder &MIRBuilder, bool EmitIR)
const Type * getTypeForSPIRVType(SPIRVTypeInst Ty) const
SPIRVTypeInst getOrCreateSPIRVType(const Type *Type, MachineInstr &I, SPIRV::AccessQualifier::AccessQualifier AQ, bool EmitIR)
SPIRVTypeInst getSPIRVTypeForVReg(Register VReg, const MachineFunction *MF=nullptr) const
Type * findDeducedElementType(const Value *Val)
SPIRVEnvType getEnv() const
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
const TargetRegisterInfo & getRegisterInfo() const
The instances of the Type class are immutable: once they are created, they are never changed.
bool isPointerTy() const
True if this is an instance of PointerType.
A few GPU targets, such as DXIL and SPIR-V, have typed pointers.
static LLVM_ABI TypedPointerType * get(Type *ElementType, unsigned AddressSpace)
This constructs a pointer to an object of the specified type in a numbered address space.
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
iterator_range< user_iterator > users()
constexpr bool isZero() const
@ SPIR_KERNEL
Used for SPIR kernel functions.
std::optional< bool > lowerBuiltin(StringRef DemangledCall, SPIRV::InstructionSet::InstructionSet Set, MachineIRBuilder &MIRBuilder, const Register OrigRet, const Type *OrigRetTy, const SmallVectorImpl< Register > &Args, SPIRVGlobalRegistry *GR, const CallBase &CB)
FunctionType * getOriginalFunctionType(const Function &F)
This is an optimization pass for GlobalISel generic memory operations.
auto size(R &&Range, std::enable_if_t< std::is_base_of< std::random_access_iterator_tag, typename std::iterator_traits< decltype(Range.begin())>::iterator_category >::value, void > *=nullptr)
Get the size of a range.
void addStringImm(StringRef Str, MCInst &Inst)
unsigned getPointerAddressSpace(const Type *T)
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Register createVirtualRegister(SPIRVTypeInst SpvType, SPIRVGlobalRegistry *GR, MachineRegisterInfo *MRI, const MachineFunction &MF)
MemoryEffectsBase< IRMemLocation > MemoryEffects
Summary of how a function affects memory in the program.
void buildOpDecorate(Register Reg, MachineIRBuilder &MIRBuilder, SPIRV::Decoration::Decoration Dec, ArrayRef< uint32_t > DecArgs, StringRef StrImm)
MDString * getOCLKernelArgAccessQual(const Function &F, unsigned ArgIdx)
std::string getOclOrSpirvBuiltinDemangledName(StringRef Name)
auto dyn_cast_or_null(const Y &Val)
void buildOpName(Register Target, StringRef Name, MachineIRBuilder &MIRBuilder)
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
Type * toTypedPointer(Type *Ty)
ConstantInt * getMDOperandAsConstInt(const MDNode *N, unsigned I)
bool isPointerTy(const Type *T)
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
void setRegClassType(Register Reg, SPIRVTypeInst SpvType, SPIRVGlobalRegistry *GR, MachineRegisterInfo *MRI, const MachineFunction &MF, bool Force)
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
std::optional< SPIRV::LinkageType::LinkageType > getSpirvLinkageTypeFor(const SPIRVSubtarget &ST, const GlobalValue &GV)
bool isEntryPoint(const Function &F)
SPIRV::StorageClass::StorageClass addressSpaceToStorageClass(unsigned AddrSpace, const SPIRVSubtarget &STI)
Type * getPointeeTypeByAttr(Argument *Arg)
bool hasPointeeTypeAttr(Argument *Arg)
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
bool isPointerTyOrWrapper(const Type *Ty)
bool isUntypedPointerTy(const Type *T)