28#include "llvm/IR/IntrinsicsSPIRV.h"
47 if (auto *MDS = dyn_cast_or_null<MDString>(N->getOperand(0)))
48 return MDS->getString() == Name;
58 for (
unsigned I = 1;
I != (*It)->getNumOperands(); ++
I) {
60 assert(MD &&
"MDNode operand is expected");
64 assert(CMeta &&
"ConstantAsMetadata operand is expected");
65 int64_t Idx = Const->getSExtValue();
69 RetTy = CMeta->getType();
72 if (Idx >= 0 &&
static_cast<uint64_t>(Idx) < PTys.
size()) {
73 PTys[Idx] = CMeta->getType();
91 if (auto *MDS = dyn_cast_or_null<MDString>(N->getOperand(0)))
92 return MDS->getString() == Name;
101 assert(MD &&
"MDNode operand is expected");
104 Constraints = MDS->getString();
111 F.getParent()->getNamedMetadata(
"spv.cloned_funcs"),
F.getFunctionType(),
118 if (MD->getNumOperands() > 0)
120 return MDS->getString();
151 unsigned Count = std::min(
static_cast<size_t>(4), Str.size() - i);
152 std::memcpy(&Word, Str.data() + i,
Count);
161 for (
unsigned i = 0; i < PaddedLen; i += 4) {
169 for (
unsigned i = 0; i < PaddedLen; i += 4) {
181 assert(Def && Def->getOpcode() == TargetOpcode::G_GLOBAL_VALUE &&
182 "Expected G_GLOBAL_VALUE");
183 const GlobalValue *GV = Def->getOperand(1).getGlobal();
190 const auto Bitwidth = Imm.getBitWidth();
193 else if (Bitwidth <= 32) {
194 MIB.
addImm(Imm.getZExtValue());
199 }
else if (Bitwidth <= 64) {
200 uint64_t FullImm = Imm.getZExtValue();
208 for (
unsigned I = 0;
I < NumWords; ++
I) {
209 unsigned LimbIdx =
I / 2;
210 unsigned LimbShift = (
I % 2) * 32;
211 uint32_t Word = (Imm.getRawData()[LimbIdx] >> LimbShift) & 0xffffffff;
230 BuildMI(*
I.getParent(),
I,
I.getDebugLoc(),
TII.get(SPIRV::OpName))
241 for (
const auto &DecArg : DecArgs)
246 SPIRV::Decoration::Decoration Dec,
248 auto MIB = MIRBuilder.
buildInstr(SPIRV::OpDecorate)
255 SPIRV::Decoration::Decoration Dec,
258 auto MIB =
BuildMI(
MBB,
I,
I.getDebugLoc(),
TII.get(SPIRV::OpDecorate))
265 SPIRV::Decoration::Decoration Dec,
uint32_t Member,
267 auto MIB = MIRBuilder.
buildInstr(SPIRV::OpMemberDecorate)
280 if (OpMD->getNumOperands() == 0)
286 "element of the decoration");
296 static_cast<uint32_t>(SPIRV::Decoration::NoContraction) ||
298 static_cast<uint32_t>(SPIRV::Decoration::FPFastMathMode)) {
301 auto MIB = MIRBuilder.
buildInstr(SPIRV::OpDecorate)
304 for (
unsigned OpI = 1, OpE = OpMD->getNumOperands(); OpI != OpE; ++OpI) {
307 MIB.addImm(
static_cast<uint32_t>(OpV->getZExtValue()));
322 switch (
MI.getOpcode()) {
323 case SPIRV::OpFunction:
324 case SPIRV::OpFunctionParameter:
326 case SPIRV::ASSIGN_TYPE:
333 while (VarPos !=
MBB.end() && VarPos->getOpcode() != SPIRV::OpFunction)
336 while (VarPos !=
MBB.end() && IsPreamble(*VarPos))
343 if (
I ==
MBB->begin())
346 while (
I->isTerminator() ||
I->isDebugValue()) {
347 if (
I ==
MBB->begin())
354SPIRV::StorageClass::StorageClass
358 return SPIRV::StorageClass::Function;
360 return SPIRV::StorageClass::CrossWorkgroup;
362 return SPIRV::StorageClass::UniformConstant;
364 return SPIRV::StorageClass::Workgroup;
366 return SPIRV::StorageClass::Generic;
368 return STI.
canUseExtension(SPIRV::Extension::SPV_INTEL_usm_storage_classes)
369 ? SPIRV::StorageClass::DeviceOnlyINTEL
370 : SPIRV::StorageClass::CrossWorkgroup;
372 return STI.
canUseExtension(SPIRV::Extension::SPV_INTEL_usm_storage_classes)
373 ? SPIRV::StorageClass::HostOnlyINTEL
374 : SPIRV::StorageClass::CrossWorkgroup;
376 return SPIRV::StorageClass::Input;
378 return SPIRV::StorageClass::Output;
380 return SPIRV::StorageClass::CodeSectionINTEL;
382 return SPIRV::StorageClass::Private;
384 return SPIRV::StorageClass::StorageBuffer;
386 return SPIRV::StorageClass::Uniform;
388 return SPIRV::StorageClass::PushConstant;
394SPIRV::MemorySemantics::MemorySemantics
397 case SPIRV::StorageClass::StorageBuffer:
398 case SPIRV::StorageClass::Uniform:
399 return SPIRV::MemorySemantics::UniformMemory;
400 case SPIRV::StorageClass::Workgroup:
401 return SPIRV::MemorySemantics::WorkgroupMemory;
402 case SPIRV::StorageClass::CrossWorkgroup:
403 return SPIRV::MemorySemantics::CrossWorkgroupMemory;
404 case SPIRV::StorageClass::AtomicCounter:
405 return SPIRV::MemorySemantics::AtomicCounterMemory;
406 case SPIRV::StorageClass::Image:
407 return SPIRV::MemorySemantics::ImageMemory;
409 return SPIRV::MemorySemantics::None;
416 return SPIRV::MemorySemantics::Acquire;
418 return SPIRV::MemorySemantics::Release;
420 return SPIRV::MemorySemantics::AcquireRelease;
422 return SPIRV::MemorySemantics::SequentiallyConsistent;
426 return SPIRV::MemorySemantics::None;
438 Ctx.getOrInsertSyncScopeID(
"subgroup");
440 Ctx.getOrInsertSyncScopeID(
"workgroup");
442 Ctx.getOrInsertSyncScopeID(
"device");
445 return SPIRV::Scope::Invocation;
447 return SPIRV::Scope::CrossDevice;
448 else if (Id == SubGroup)
449 return SPIRV::Scope::Subgroup;
450 else if (Id == WorkGroup)
451 return SPIRV::Scope::Workgroup;
452 else if (Id == Device)
453 return SPIRV::Scope::Device;
454 return SPIRV::Scope::CrossDevice;
461 MI->getOpcode() == SPIRV::G_TRUNC ||
MI->getOpcode() == SPIRV::G_ZEXT
465 if (GI->is(Intrinsic::spv_track_constant)) {
469 }
else if (ConstInstr->
getOpcode() == SPIRV::ASSIGN_TYPE) {
472 }
else if (ConstInstr->
getOpcode() == TargetOpcode::G_CONSTANT ||
473 ConstInstr->
getOpcode() == TargetOpcode::G_FCONSTANT) {
482 assert(
MI &&
MI->getOpcode() == TargetOpcode::G_CONSTANT);
483 return MI->getOperand(1).getCImm()->getValue().getZExtValue();
488 assert(
MI &&
MI->getOpcode() == TargetOpcode::G_CONSTANT);
489 return MI->getOperand(1).getCImm()->getSExtValue();
494 return GI->is(IntrinsicID);
504 if (
N->getNumOperands() <=
I)
512 return MangledName ==
"__enqueue_kernel_basic" ||
513 MangledName ==
"__enqueue_kernel_basic_events" ||
514 MangledName ==
"__enqueue_kernel_varargs" ||
515 MangledName ==
"__enqueue_kernel_events_varargs";
519 return MangledName ==
"__get_kernel_work_group_size_impl" ||
520 MangledName ==
"__get_kernel_sub_group_count_for_ndrange_impl" ||
521 MangledName ==
"__get_kernel_max_sub_group_size_for_ndrange_impl" ||
522 MangledName ==
"__get_kernel_preferred_work_group_size_multiple_impl";
526 if (!Name.starts_with(
"__"))
531 Name ==
"__translate_sampler_initializer";
536 bool IsNonMangledSPIRV = Name.starts_with(
"__spirv_");
537 bool IsNonMangledHLSL = Name.starts_with(
"__hlsl_");
538 bool IsMangled = Name.starts_with(
"_Z");
541 if (IsNonMangledOCL || IsNonMangledSPIRV || IsNonMangledHLSL || !IsMangled)
546 std::string Result = DemangledName;
555 size_t Start, Len = 0;
556 size_t DemangledNameLenStart = 2;
557 if (Name.starts_with(
"_ZN")) {
559 size_t NameSpaceStart = Name.find_first_not_of(
"rVKRO", 3);
561 if (Name.substr(NameSpaceStart, 11) !=
"2cl7__spirv")
562 return std::string();
563 DemangledNameLenStart = NameSpaceStart + 11;
565 Start = Name.find_first_not_of(
"0123456789", DemangledNameLenStart);
566 bool Error = Name.substr(DemangledNameLenStart, Start - DemangledNameLenStart)
567 .getAsInteger(10, Len);
569 return std::string();
570 return Name.substr(Start, Len).str();
574 if (Name.starts_with(
"opencl.") || Name.starts_with(
"ocl_") ||
575 Name.starts_with(
"spirv."))
597 if (
F.getFnAttribute(
"hlsl.shader").isValid())
604 TypeName.consume_front(
"atomic_");
605 if (TypeName.consume_front(
"void"))
607 else if (TypeName.consume_front(
"bool") || TypeName.consume_front(
"_Bool"))
609 else if (TypeName.consume_front(
"char") ||
610 TypeName.consume_front(
"signed char") ||
611 TypeName.consume_front(
"unsigned char") ||
612 TypeName.consume_front(
"uchar"))
614 else if (TypeName.consume_front(
"short") ||
615 TypeName.consume_front(
"signed short") ||
616 TypeName.consume_front(
"unsigned short") ||
617 TypeName.consume_front(
"ushort"))
619 else if (TypeName.consume_front(
"int") ||
620 TypeName.consume_front(
"signed int") ||
621 TypeName.consume_front(
"unsigned int") ||
622 TypeName.consume_front(
"uint"))
624 else if (TypeName.consume_front(
"long") ||
625 TypeName.consume_front(
"signed long") ||
626 TypeName.consume_front(
"unsigned long") ||
627 TypeName.consume_front(
"ulong"))
629 else if (TypeName.consume_front(
"half") ||
630 TypeName.consume_front(
"_Float16") ||
631 TypeName.consume_front(
"__fp16"))
633 else if (TypeName.consume_front(
"float"))
635 else if (TypeName.consume_front(
"double"))
642SmallPtrSet<BasicBlock *, 0>
643PartialOrderingVisitor::getReachableFrom(BasicBlock *Start) {
644 std::queue<BasicBlock *> ToVisit;
647 SmallPtrSet<BasicBlock *, 0> Output;
648 while (ToVisit.size() != 0) {
649 BasicBlock *BB = ToVisit.front();
652 if (Output.count(BB) != 0)
666bool PartialOrderingVisitor::CanBeVisited(
BasicBlock *BB)
const {
669 if (DT.dominates(BB,
P))
673 if (BlockToOrder.count(
P) == 0)
678 Loop *
L = LI.getLoopFor(
P);
679 if (L ==
nullptr ||
L->contains(BB))
685 assert(
L->getNumBackEdges() <= 1);
691 if (Latch ==
nullptr)
695 if (BlockToOrder.count(Latch) == 0)
703 auto It = BlockToOrder.find(BB);
704 if (It != BlockToOrder.end())
705 return It->second.Rank;
710 if (DT.dominates(BB,
P))
713 auto Iterator = BlockToOrder.end();
714 Loop *L = LI.getLoopFor(
P);
715 BasicBlock *Latch = L ? L->getLoopLatch() :
nullptr;
719 if (L ==
nullptr || L->contains(BB) || Latch ==
nullptr) {
720 Iterator = BlockToOrder.find(
P);
725 Iterator = BlockToOrder.find(Latch);
728 assert(Iterator != BlockToOrder.end());
729 result = std::max(result, Iterator->second.Rank + 1);
735size_t PartialOrderingVisitor::visit(
BasicBlock *BB,
size_t Unused) {
739 size_t QueueIndex = 0;
740 while (ToVisit.size() != 0) {
744 if (!CanBeVisited(BB)) {
746 if (QueueIndex >= ToVisit.size())
748 "No valid candidate in the queue. Is the graph reducible?");
755 OrderInfo Info = {Rank, BlockToOrder.
size()};
756 BlockToOrder.try_emplace(BB, Info);
759 if (Queued.count(S) != 0)
773 visit(&*
F.begin(), 0);
775 Order.reserve(
F.size());
776 for (
auto &[BB, Info] : BlockToOrder)
777 Order.emplace_back(BB);
786 const OrderInfo &InfoLHS = BlockToOrder.at(
const_cast<BasicBlock *
>(
LHS));
787 const OrderInfo &InfoRHS = BlockToOrder.at(
const_cast<BasicBlock *
>(
RHS));
788 if (InfoLHS.Rank != InfoRHS.Rank)
789 return InfoLHS.Rank < InfoRHS.Rank;
790 return InfoLHS.TraversalIndex < InfoRHS.TraversalIndex;
796 assert(BlockToOrder.count(&Start) != 0);
799 auto It = Order.begin();
800 while (It != Order.end() && *It != &Start)
805 assert(It != Order.end());
808 std::optional<size_t> EndRank = std::nullopt;
809 for (; It != Order.end(); ++It) {
810 if (EndRank.has_value() && BlockToOrder[*It].Rank > *EndRank)
813 if (Reachable.count(*It) == 0) {
818 EndRank = BlockToOrder[*It].Rank;
828 std::vector<BasicBlock *> Order;
829 Order.reserve(
F.size());
834 assert(&*
F.begin() == Order[0]);
837 if (BB != LastBlock && &*LastBlock->
getNextNode() != BB) {
850 F.begin()->getFirstInsertionPt());
860 return TargetToValue.
lookup(BI->getSuccessor());
863 Builder.SetInsertPoint(
T);
869 if (
LHS ==
nullptr ||
RHS ==
nullptr)
871 return Builder.CreateSelect(BI->getCondition(),
LHS,
RHS);
880 if (MaybeDef && MaybeDef->
getOpcode() == SPIRV::ASSIGN_TYPE)
888 constexpr unsigned MaxIters = 1024;
889 for (
unsigned I = 0;
I < MaxIters; ++
I) {
890 std::string OrdName = Name +
Twine(
I).
str();
891 if (!M.getFunction(OrdName)) {
892 Name = std::move(OrdName);
918 SPIRV::AccessQualifier::AccessQualifier AccessQual,
919 bool EmitIR,
bool Force) {
922 GR, MIRBuilder.
getMRI(), MIRBuilder.
getMF(), Force);
948 SPIRV::AccessQualifier::AccessQualifier AccessQual,
bool EmitIR) {
958 Args.push_back(Arg2);
961 return B.CreateIntrinsicWithoutFolding(IntrID, {Types}, Args);
966 if (Ty->isPtrOrPtrVectorTy())
971 for (
const Type *ArgTy : RefTy->params())
984 if (
F->getName().starts_with(
"llvm.spv."))
991SmallVector<MachineInstr *, 4>
993 unsigned MinWC,
unsigned ContinuedOpcode,
998 constexpr unsigned MaxWordCount = UINT16_MAX;
999 const size_t NumElements = Args.size();
1000 size_t MaxNumElements = MaxWordCount - MinWC;
1001 size_t SPIRVStructNumElements = NumElements;
1003 if (NumElements > MaxNumElements) {
1006 SPIRVStructNumElements = MaxNumElements;
1007 MaxNumElements = MaxWordCount - 1;
1013 for (
size_t I = 0;
I < SPIRVStructNumElements; ++
I)
1016 Instructions.push_back(MIB.getInstr());
1018 for (
size_t I = SPIRVStructNumElements;
I < NumElements;
1019 I += MaxNumElements) {
1020 auto MIB = MIRBuilder.
buildInstr(ContinuedOpcode);
1021 for (
size_t J =
I; J < std::min(
I + MaxNumElements, NumElements); ++J)
1023 Instructions.push_back(MIB.getInstr());
1025 return Instructions;
1028SmallVector<unsigned, 1>
1030 unsigned LC = SPIRV::LoopControl::None;
1034 std::vector<std::pair<unsigned, unsigned>> MaskToValueMap;
1036 LC |= SPIRV::LoopControl::DontUnroll;
1040 LC |= SPIRV::LoopControl::Unroll;
1046 unsigned Count = CI->getZExtValue();
1048 LC |= SPIRV::LoopControl::PartialCount;
1049 MaskToValueMap.emplace_back(
1050 std::make_pair(SPIRV::LoopControl::PartialCount,
Count));
1056 for (
auto &[Mask, Val] : MaskToValueMap)
1057 Result.push_back(Val);
1067 static const std::set<unsigned> TypeFoldingSupportingOpcs = {
1068 TargetOpcode::G_ADD,
1069 TargetOpcode::G_FADD,
1070 TargetOpcode::G_STRICT_FADD,
1071 TargetOpcode::G_SUB,
1072 TargetOpcode::G_FSUB,
1073 TargetOpcode::G_STRICT_FSUB,
1074 TargetOpcode::G_MUL,
1075 TargetOpcode::G_FMUL,
1076 TargetOpcode::G_STRICT_FMUL,
1077 TargetOpcode::G_SDIV,
1078 TargetOpcode::G_UDIV,
1079 TargetOpcode::G_FDIV,
1080 TargetOpcode::G_STRICT_FDIV,
1081 TargetOpcode::G_SREM,
1082 TargetOpcode::G_UREM,
1083 TargetOpcode::G_FREM,
1084 TargetOpcode::G_STRICT_FREM,
1085 TargetOpcode::G_FNEG,
1086 TargetOpcode::G_CONSTANT,
1087 TargetOpcode::G_FCONSTANT,
1088 TargetOpcode::G_AND,
1090 TargetOpcode::G_XOR,
1091 TargetOpcode::G_SHL,
1092 TargetOpcode::G_ASHR,
1093 TargetOpcode::G_LSHR,
1094 TargetOpcode::G_SELECT,
1095 TargetOpcode::G_EXTRACT_VECTOR_ELT,
1098 return TypeFoldingSupportingOpcs;
1107 return (Def->getOpcode() == SPIRV::ASSIGN_TYPE ||
1108 Def->getOpcode() == TargetOpcode::COPY)
1109 ? MRI->
getVRegDef(Def->getOperand(1).getReg())
1121 if (Def->getOpcode() == TargetOpcode::G_CONSTANT ||
1122 Def->getOpcode() == SPIRV::OpConstantI)
1130 if (Def->getOpcode() == SPIRV::OpConstantI)
1131 return Def->getOperand(2).getImm();
1132 if (Def->getOpcode() == TargetOpcode::G_CONSTANT)
1133 return Def->getOperand(1).getCImm()->getZExtValue();
1146 if (Ty->getStructNumElements() != 2)
1161 if (T_in_struct != SecondElement)
1164 auto *Padding_in_struct =
1166 if (!Padding_in_struct || Padding_in_struct->getName() !=
"spirv.Padding")
1170 TotalSize = ArraySize + 1;
1171 OriginalElementType = ArrayElementType;
1176 if (!Ty->isStructTy())
1180 Type *OriginalElementType =
nullptr;
1190 for (
Type *ElementTy : STy->elements()) {
1192 if (NewElementTy != ElementTy)
1194 NewElementTypes.
push_back(NewElementTy);
1201 if (STy->isLiteral())
1206 NewTy->setBody(NewElementTypes, STy->isPacked());
1212std::optional<SPIRV::LinkageType::LinkageType>
1215 return std::nullopt;
1221 if (SC == SPIRV::StorageClass::Input ||
1222 SC == SPIRV::StorageClass::Output ||
1223 SC == SPIRV::StorageClass::PushConstant)
1224 return std::nullopt;
1226 return SPIRV::LinkageType::Import;
1230 return std::nullopt;
1233 ST.canUseExtension(SPIRV::Extension::SPV_KHR_linkonce_odr))
1234 return SPIRV::LinkageType::LinkOnceODR;
1237 ST.canUseExtension(SPIRV::Extension::SPV_AMD_weak_linkage))
1238 return SPIRV::LinkageType::WeakAMD;
1240 return SPIRV::LinkageType::Export;
1247 "cannot allocate a name for the internal service function");
1249 if (SF->getInstructionCount() > 0)
1251 "Unexpected combination of global variables and function pointers");
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
Declares convenience wrapper classes for interpreting MachineInstr instances as specific generic oper...
const HexagonInstrInfo * TII
This file declares the MachineIRBuilder class.
uint64_t IntrinsicInst * II
#define SPIRV_BACKEND_SERVICE_FUN_NAME
Class for arbitrary precision integers.
an instruction to allocate memory on the stack
Represent a constant reference to an array (0 or more elements consecutively in memory),...
Class to represent array types.
static LLVM_ABI ArrayType * get(Type *ElementType, uint64_t NumElements)
This static method is the primary way to construct an ArrayType.
LLVM Basic Block Representation.
LLVM_ABI void moveAfter(BasicBlock *MovePos)
Unlink this basic block from its current function and insert it right after MovePos in the function M...
const Instruction & front() const
const Instruction * getTerminator() const LLVM_READONLY
Returns the terminator instruction; assumes that the block is well-formed.
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
Value * getCalledOperand() const
FunctionType * getFunctionType() const
This class represents a function call, abstracting a target machine's calling convention.
An array constant whose element type is a simple 1/2/4/8-byte integer, bytes or float/double,...
StringRef getAsCString() const
If this array is isCString(), then this method returns the array (without the trailing null byte) as ...
This is the shared class of boolean and integer constants.
uint64_t getZExtValue() const
Return the constant as a 64-bit unsigned integer value after it has been zero extended as appropriate...
A parsed version of the target data layout string in and methods for querying it.
ValueT lookup(const_arg_type_t< KeyT > Val) const
Return the entry for the specified key, or a default constructed value if no such entry exists.
bool dominates(const DomTreeNodeBase< NodeT > *A, const DomTreeNodeBase< NodeT > *B) const
dominates - Returns true iff A dominates B.
Lightweight error class with error context and mandatory checking.
Class to represent function types.
ArrayRef< Type * > params() const
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.
void addFnAttr(Attribute::AttrKind Kind)
Add function attributes to this function.
static Function * Create(FunctionType *Ty, LinkageTypes Linkage, unsigned AddrSpace, const Twine &N="", Module *M=nullptr)
const Function & getFunction() const
bool hasLocalLinkage() const
bool hasHiddenVisibility() const
bool isDeclarationForLinker() const
bool hasWeakLinkage() const
bool hasLinkOnceODRLinkage() const
@ PrivateLinkage
Like Internal, but omit from symbol table.
This provides a uniform API for creating instructions and inserting them into a basic block: either a...
LLVM_ABI const Module * getModule() const
Return the module owning the function this instruction belongs to or nullptr it the function does not...
MDNode * getMetadata(unsigned KindID) const
Get the metadata of given kind attached to this Instruction.
constexpr bool isValid() const
This is an important class for using LLVM in a threaded context.
Represents a single loop in the control flow graph.
Instances of this class represent a single low-level machine instruction.
void addOperand(const MCOperand Op)
static MCOperand createImm(int64_t Val)
const MDOperand & getOperand(unsigned I) const
unsigned getNumOperands() const
Return number of MDNode operands.
MachineInstrBundleIterator< MachineInstr > iterator
const MachineBasicBlock & front() const
Helper class to build MachineInstr.
MachineInstrBuilder buildInstr(unsigned Opcode)
Build and insert <empty> = Opcode <empty>.
MachineFunction & getMF()
Getter for the function we currently build.
MachineRegisterInfo * getMRI()
Getter for MRI.
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 & 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.
Representation of each machine instruction.
unsigned getOpcode() const
Returns the opcode of this MachineInstr.
void setAsmPrinterFlag(AsmPrinterFlagTy Flag)
Set a flag for the AsmPrinter.
const MachineOperand & getOperand(unsigned i) const
MachineOperand class - Representation of each machine instruction operand.
Register getReg() const
getReg - Returns the register number.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
LLVM_ABI MachineInstr * getVRegDef(Register Reg) const
getVRegDef - Return the machine instr that defines the specified virtual register or null if none is ...
LLVM_ABI Register createVirtualRegister(const TargetRegisterClass *RegClass, StringRef Name="")
createVirtualRegister - Create and return a new virtual register in the function with the specified r...
LLT getType(Register Reg) const
Get the low-level type of Reg or LLT{} if Reg is not a generic (target independent) virtual register.
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.
const TargetRegisterClass * getRegClassOrNull(Register Reg) const
Return the register class of Reg, or null if Reg has not been assigned a register class yet.
A Module instance is used to store all the information related to an LLVM module.
NamedMDNode * getNamedMetadata(StringRef Name) const
Return the first NamedMDNode in the module with the specified name.
iterator_range< op_iterator > operands()
size_t GetNodeRank(BasicBlock *BB) const
void partialOrderVisit(BasicBlock &Start, std::function< bool(BasicBlock *)> Op)
bool compare(const BasicBlock *LHS, const BasicBlock *RHS) const
PartialOrderingVisitor(Function &F)
Wrapper class representing virtual and physical registers.
void assignSPIRVTypeToVReg(SPIRVTypeInst Type, Register VReg, const MachineFunction &MF)
const TargetRegisterClass * getRegClass(SPIRVTypeInst SpvType) const
LLT getRegType(SPIRVTypeInst SpvType) const
SPIRVTypeInst getOrCreateSPIRVType(const Type *Type, MachineInstr &I, SPIRV::AccessQualifier::AccessQualifier AQ, bool EmitIR)
bool canUseExtension(SPIRV::Extension::Extension E) const
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Represent a constant reference to a string, i.e.
std::string str() const
Get the contents as an std::string.
constexpr bool empty() const
Check if the string is empty.
Class to represent struct types.
static LLVM_ABI StructType * get(LLVMContext &Context, ArrayRef< Type * > Elements, bool isPacked=false)
This static method is the primary way to create a literal StructType.
static LLVM_ABI StructType * create(LLVMContext &Context, StringRef Name)
This creates an identified struct.
Class to represent target extensions types, which are generally unintrospectable from target-independ...
Target - Wrapper for Target specific information.
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
LLVM_ABI std::string str() const
Return the twine contents as a std::string.
The instances of the Type class are immutable: once they are created, they are never changed.
static LLVM_ABI IntegerType * getInt64Ty(LLVMContext &C)
LLVM_ABI Type * getStructElementType(unsigned N) const
bool isArrayTy() const
True if this is an instance of ArrayType.
static LLVM_ABI IntegerType * getInt32Ty(LLVMContext &C)
Type * getArrayElementType() const
LLVM_ABI unsigned getStructNumElements() const
LLVM_ABI uint64_t getArrayNumElements() const
static LLVM_ABI Type * getVoidTy(LLVMContext &C)
static LLVM_ABI IntegerType * getInt8Ty(LLVMContext &C)
bool isStructTy() const
True if this is an instance of StructType.
static LLVM_ABI IntegerType * getInt16Ty(LLVMContext &C)
static LLVM_ABI IntegerType * getIntNTy(LLVMContext &C, unsigned N)
static LLVM_ABI Type * getDoubleTy(LLVMContext &C)
static LLVM_ABI Type * getFloatTy(LLVMContext &C)
static LLVM_ABI Type * getHalfTy(LLVMContext &C)
Value * getOperand(unsigned i) const
LLVM Value Representation.
NodeTy * getNextNode()
Get the next node, or nullptr for the list tail.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ SPIR_KERNEL
Used for SPIR kernel functions.
@ BasicBlock
Various leaf nodes.
static StringRef extractAsmConstraintsFromMetadata(NamedMDNode *NMD, StringRef Constraints, StringRef Name)
bool isPipeOrAddressSpaceCastBuiltin(StringRef Name)
Returns true if Name is a pipe or address-space-cast OpenCL builtin.
FunctionType * getOriginalFunctionType(const Function &F)
static std::optional< StringRef > getMutatedCallsiteKey(const CallBase &CB)
static FunctionType * extractFunctionTypeFromMetadata(NamedMDNode *NMD, FunctionType *FTy, StringRef Name)
StringRef getOriginalAsmConstraints(const CallBase &CB)
@ SingleThread
Synchronized with respect to signal handlers executing in the same thread.
@ System
Synchronized with respect to all concurrently executing threads.
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > extract_or_null(Y &&MD)
Extract a Value from Metadata, allowing null.
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > dyn_extract(Y &&MD)
Extract a Value from Metadata, if any.
This is an optimization pass for GlobalISel generic memory operations.
std::string getStringImm(const MachineInstr &MI, unsigned StartIndex)
void addStringImm(StringRef Str, MCInst &Inst)
MachineBasicBlock::iterator getOpVariableMBBIt(MachineFunction &MF)
int64_t getIConstValSext(Register ConstReg, const MachineRegisterInfo *MRI)
bool isTypedPointerWrapper(const TargetExtType *ExtTy)
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
bool isTypeFoldingSupported(unsigned Opcode)
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
MachineInstr * getDef(const MachineOperand &MO, const MachineRegisterInfo *MRI)
void addNumImm(const APInt &Imm, MachineInstrBuilder &MIB)
auto successors(const MachineBasicBlock *BB)
CallInst * buildIntrWithMD(Intrinsic::ID IntrID, ArrayRef< Type * > Types, Value *Arg, Value *Arg2, ArrayRef< Constant * > Imms, IRBuilder<> &B)
bool matchPeeledArrayPattern(const StructType *Ty, Type *&OriginalElementType, uint64_t &TotalSize)
Register createVirtualRegister(SPIRVTypeInst SpvType, SPIRVGlobalRegistry *GR, MachineRegisterInfo *MRI, const MachineFunction &MF)
void append_range(Container &C, Range &&R)
Wrapper function to append range R to container C.
unsigned getArrayComponentCount(const MachineRegisterInfo *MRI, const MachineInstr *ResType)
bool sortBlocks(Function &F)
AllocaInst * createVariable(Function &F, Type *Type)
static bool getVacantFunctionName(Module &M, std::string &Name)
void buildOpDecorate(Register Reg, MachineIRBuilder &MIRBuilder, SPIRV::Decoration::Decoration Dec, ArrayRef< uint32_t > DecArgs, StringRef StrImm)
uint64_t getIConstVal(Register ConstReg, const MachineRegisterInfo *MRI)
SmallVector< MachineInstr *, 4 > createContinuedInstructions(MachineIRBuilder &MIRBuilder, unsigned Opcode, unsigned MinWC, unsigned ContinuedOpcode, ArrayRef< Register > Args, Register ReturnRegister, Register TypeID)
SPIRV::MemorySemantics::MemorySemantics getMemSemanticsForStorageClass(SPIRV::StorageClass::StorageClass SC)
bool isNestedPointer(const Type *Ty)
Function * getOrCreateBackendServiceFunction(Module &M)
MetadataAsValue * buildMD(Value *Arg)
std::string getOclOrSpirvBuiltinDemangledName(StringRef Name)
void buildOpName(Register Target, StringRef Name, MachineIRBuilder &MIRBuilder)
static void finishBuildOpDecorate(MachineInstrBuilder &MIB, ArrayRef< uint32_t > DecArgs, StringRef StrImm)
SmallVector< unsigned, 1 > getSpirvLoopControlOperandsFromLoopMetadata(MDNode *LoopMD)
MachineInstr * getImm(const MachineOperand &MO, const MachineRegisterInfo *MRI)
static uint32_t convertCharsToWord(StringRef Str, unsigned i)
void sort(IteratorTy Start, IteratorTy End)
std::string getSPIRVStringOperand(const InstType &MI, unsigned StartIndex)
Type * toTypedPointer(Type *Ty)
ConstantInt * getMDOperandAsConstInt(const MDNode *N, unsigned I)
DEMANGLE_ABI char * itaniumDemangle(std::string_view mangled_name, bool ParseParams=true)
Returns a non-NULL pointer to a NUL-terminated C style string that should be explicitly freed,...
constexpr uint32_t Hi_32(uint64_t Value)
Return the high 32 bits of a 64 bit value.
bool isSpecialOpaqueType(const Type *Ty)
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
constexpr uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
void setRegClassType(Register Reg, SPIRVTypeInst SpvType, SPIRVGlobalRegistry *GR, MachineRegisterInfo *MRI, const MachineFunction &MF, bool Force)
MachineBasicBlock::iterator getInsertPtValidEnd(MachineBasicBlock *MBB)
static bool isNonMangledOCLBuiltin(StringRef Name)
constexpr uint32_t Lo_32(uint64_t Value)
Return the low 32 bits of a 64 bit value.
MachineInstr * passCopy(MachineInstr *Def, const MachineRegisterInfo *MRI)
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)
LLVM_ATTRIBUTE_VISIBILITY_DEFAULT AnalysisKey InnerAnalysisManagerProxy< AnalysisManagerT, IRUnitT, ExtraArgTs... >::Key
const std::set< unsigned > & getTypeFoldingSupportedOpcodes()
SPIRV::StorageClass::StorageClass addressSpaceToStorageClass(unsigned AddrSpace, const SPIRVSubtarget &STI)
AtomicOrdering
Atomic ordering for LLVM's memory model.
SPIRV::Scope::Scope getMemScope(LLVMContext &Ctx, SyncScope::ID Id)
constexpr T divideCeil(U Numerator, V Denominator)
Returns the integer ceil(Numerator / Denominator).
static bool isEnqueueKernelBI(StringRef MangledName)
static bool isKernelQueryBI(StringRef MangledName)
void buildOpSpirvDecorations(Register Reg, MachineIRBuilder &MIRBuilder, const MDNode *GVarMD, const SPIRVSubtarget &ST)
std::string getStringValueFromReg(Register Reg, MachineRegisterInfo &MRI)
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Count
int64_t foldImm(const MachineOperand &MO, const MachineRegisterInfo *MRI)
Type * parseBasicTypeName(StringRef &TypeName, LLVMContext &Ctx)
DWARFExpression::Operation Op
MachineInstr * getDefInstrMaybeConstant(Register &ConstReg, const MachineRegisterInfo *MRI)
Value * createExitVariable(BasicBlock *BB, const DenseMap< BasicBlock *, ConstantInt * > &TargetToValue)
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
bool hasBuiltinTypePrefix(StringRef Name)
Type * getMDOperandAsType(const MDNode *N, unsigned I)
void buildOpMemberDecorate(Register Reg, MachineIRBuilder &MIRBuilder, SPIRV::Decoration::Decoration Dec, uint32_t Member, ArrayRef< uint32_t > DecArgs, StringRef StrImm)
auto find_if(R &&Range, UnaryPredicate P)
Provide wrappers to std::find_if which take ranges instead of having to pass begin/end explicitly.
auto predecessors(const MachineBasicBlock *BB)
static size_t getPaddedLen(StringRef Str)
bool isSpvIntrinsic(const MachineInstr &MI, Intrinsic::ID IntrinsicID)
MachineInstr * getVRegDef(MachineRegisterInfo &MRI, Register Reg)
Type * reconstitutePeeledArrayType(Type *Ty)
SPIRV::MemorySemantics::MemorySemantics getMemSemantics(AtomicOrdering Ord)
LLVM_ABI MDNode * findOptionMDForLoopID(MDNode *LoopID, StringRef Name)
Find and return the loop attribute node for the attribute Name in LoopID.