28#include "llvm/IR/IntrinsicsSPIRV.h"
38 if (auto *MDS = dyn_cast_or_null<MDString>(N->getOperand(0)))
39 return MDS->getString() == Name;
42 return It == NMD->
op_end() ? nullptr : *It;
64 assert(MD &&
"MDNode operand is expected");
68 assert(CMeta &&
"ConstantAsMetadata operand is expected");
69 int64_t Idx = Const->getSExtValue();
73 RetTy = CMeta->getType();
76 if (Idx >= 0 &&
static_cast<uint64_t>(Idx) < PTys.
size()) {
77 PTys[Idx] = CMeta->getType();
99 assert(MD &&
"MDNode operand is expected");
102 Constraints = MDS->getString();
109 F.getParent()->getNamedMetadata(
"spv.cloned_funcs"),
F.getFunctionType(),
116 if (MD->getNumOperands() > 0)
118 return MDS->getString();
149 for (
unsigned WordIndex = 0; WordIndex < 4; ++WordIndex) {
150 unsigned StrIndex = i + WordIndex;
152 if (StrIndex < Str.size()) {
153 CharToAdd = Str[StrIndex];
155 Word |= (CharToAdd << (WordIndex * 8));
165 for (
unsigned i = 0; i < PaddedLen; i += 4) {
173 for (
unsigned i = 0; i < PaddedLen; i += 4) {
185 assert(Def && Def->getOpcode() == TargetOpcode::G_GLOBAL_VALUE &&
186 "Expected G_GLOBAL_VALUE");
187 const GlobalValue *GV = Def->getOperand(1).getGlobal();
194 const auto Bitwidth =
Imm.getBitWidth();
197 else if (Bitwidth <= 32) {
203 }
else if (Bitwidth <= 64) {
212 for (
unsigned I = 0;
I < NumWords; ++
I) {
213 unsigned LimbIdx =
I / 2;
214 unsigned LimbShift = (
I % 2) * 32;
215 uint32_t Word = (
Imm.getRawData()[LimbIdx] >> LimbShift) & 0xffffffff;
235 for (
const auto &DecArg : DecArgs)
240 SPIRV::Decoration::Decoration Dec,
242 auto MIB = MIRBuilder.
buildInstr(SPIRV::OpDecorate)
249 SPIRV::Decoration::Decoration Dec,
252 auto MIB =
BuildMI(
MBB,
I,
I.getDebugLoc(),
TII.get(SPIRV::OpDecorate))
259 SPIRV::Decoration::Decoration Dec,
uint32_t Member,
261 auto MIB = MIRBuilder.
buildInstr(SPIRV::OpMemberDecorate)
274 if (OpMD->getNumOperands() == 0)
280 "element of the decoration");
290 static_cast<uint32_t>(SPIRV::Decoration::NoContraction) ||
292 static_cast<uint32_t>(SPIRV::Decoration::FPFastMathMode)) {
296 if (Dec ==
static_cast<uint32_t>(SPIRV::Decoration::UniformId) ||
297 Dec ==
static_cast<uint32_t>(SPIRV::Decoration::AlignmentId) ||
298 Dec ==
static_cast<uint32_t>(SPIRV::Decoration::MaxByteOffsetId)) {
310 SpvTypeInt32,
false);
318 for (
unsigned OpI = 1, OpE = OpMD->getNumOperands(); OpI != OpE; ++OpI) {
321 MIB.addImm(
static_cast<uint32_t>(OpV->getZExtValue()));
336 switch (
MI.getOpcode()) {
337 case SPIRV::OpFunction:
338 case SPIRV::OpFunctionParameter:
340 case SPIRV::ASSIGN_TYPE:
347 while (VarPos !=
MBB.end() && VarPos->getOpcode() != SPIRV::OpFunction)
350 while (VarPos !=
MBB.end() && IsPreamble(*VarPos))
357 if (
I ==
MBB->begin())
360 while (
I->isTerminator() ||
I->isDebugValue()) {
361 if (
I ==
MBB->begin())
368SPIRV::StorageClass::StorageClass
372 return SPIRV::StorageClass::Function;
374 return SPIRV::StorageClass::CrossWorkgroup;
376 return SPIRV::StorageClass::UniformConstant;
378 return SPIRV::StorageClass::Workgroup;
380 return SPIRV::StorageClass::Generic;
382 return STI.
canUseExtension(SPIRV::Extension::SPV_INTEL_usm_storage_classes)
383 ? SPIRV::StorageClass::DeviceOnlyINTEL
384 : SPIRV::StorageClass::CrossWorkgroup;
386 return STI.
canUseExtension(SPIRV::Extension::SPV_INTEL_usm_storage_classes)
387 ? SPIRV::StorageClass::HostOnlyINTEL
388 : SPIRV::StorageClass::CrossWorkgroup;
390 return SPIRV::StorageClass::Input;
392 return SPIRV::StorageClass::Output;
394 return SPIRV::StorageClass::CodeSectionINTEL;
396 return SPIRV::StorageClass::Private;
398 return SPIRV::StorageClass::StorageBuffer;
400 return SPIRV::StorageClass::Uniform;
402 return SPIRV::StorageClass::PushConstant;
408SPIRV::MemorySemantics::MemorySemantics
411 case SPIRV::StorageClass::StorageBuffer:
412 case SPIRV::StorageClass::Uniform:
413 return SPIRV::MemorySemantics::UniformMemory;
414 case SPIRV::StorageClass::Workgroup:
415 return SPIRV::MemorySemantics::WorkgroupMemory;
416 case SPIRV::StorageClass::CrossWorkgroup:
417 return SPIRV::MemorySemantics::CrossWorkgroupMemory;
418 case SPIRV::StorageClass::Generic:
419 return SPIRV::MemorySemantics::MemorySemantics(
420 SPIRV::MemorySemantics::WorkgroupMemory |
421 SPIRV::MemorySemantics::CrossWorkgroupMemory);
422 case SPIRV::StorageClass::AtomicCounter:
423 return SPIRV::MemorySemantics::AtomicCounterMemory;
424 case SPIRV::StorageClass::Image:
425 return SPIRV::MemorySemantics::ImageMemory;
427 return SPIRV::MemorySemantics::None;
434 return SPIRV::MemorySemantics::Acquire;
436 return SPIRV::MemorySemantics::Release;
438 return SPIRV::MemorySemantics::AcquireRelease;
440 return SPIRV::MemorySemantics::SequentiallyConsistent;
444 return SPIRV::MemorySemantics::None;
451 bool DropStorageClass =
453 OrderSem ==
static_cast<uint32_t>(SPIRV::MemorySemantics::None);
454 return OrderSem | (DropStorageClass ? 0 : StorageClassSem);
472 return SPIRV::Scope::Invocation;
474 return SPIRV::Scope::CrossDevice;
475 else if (Id == SubGroup)
476 return SPIRV::Scope::Subgroup;
477 else if (Id == WorkGroup)
478 return SPIRV::Scope::Workgroup;
480 return SPIRV::Scope::Device;
481 return SPIRV::Scope::CrossDevice;
488 MI->getOpcode() == SPIRV::G_TRUNC ||
MI->getOpcode() == SPIRV::G_ZEXT
492 if (GI->is(Intrinsic::spv_track_constant)) {
496 }
else if (ConstInstr->
getOpcode() == SPIRV::ASSIGN_TYPE) {
499 }
else if (ConstInstr->
getOpcode() == TargetOpcode::G_CONSTANT ||
500 ConstInstr->
getOpcode() == TargetOpcode::G_FCONSTANT) {
509 assert(
MI &&
MI->getOpcode() == TargetOpcode::G_CONSTANT);
510 return MI->getOperand(1).getCImm()->getValue().getZExtValue();
515 assert(
MI &&
MI->getOpcode() == TargetOpcode::G_CONSTANT);
516 return MI->getOperand(1).getCImm()->getSExtValue();
521 return GI->is(IntrinsicID);
531 if (
N->getNumOperands() <=
I)
539 return MangledName ==
"__enqueue_kernel_basic" ||
540 MangledName ==
"__enqueue_kernel_basic_events" ||
541 MangledName ==
"__enqueue_kernel_varargs" ||
542 MangledName ==
"__enqueue_kernel_events_varargs";
546 return MangledName ==
"__get_kernel_work_group_size_impl" ||
547 MangledName ==
"__get_kernel_sub_group_count_for_ndrange_impl" ||
548 MangledName ==
"__get_kernel_max_sub_group_size_for_ndrange_impl" ||
549 MangledName ==
"__get_kernel_preferred_work_group_size_multiple_impl";
553 if (!Name.starts_with(
"__"))
558 Name ==
"__translate_sampler_initializer";
563 bool IsNonMangledSPIRV = Name.starts_with(
"__spirv_");
564 bool IsNonMangledHLSL = Name.starts_with(
"__hlsl_");
565 bool IsMangled = Name.starts_with(
"_Z");
568 if (IsNonMangledOCL || IsNonMangledSPIRV || IsNonMangledHLSL || !IsMangled)
573 std::string Result = DemangledName;
582 size_t Start, Len = 0;
583 size_t DemangledNameLenStart = 2;
584 if (Name.starts_with(
"_ZN")) {
586 size_t NameSpaceStart = Name.find_first_not_of(
"rVKRO", 3);
588 if (Name.substr(NameSpaceStart, 11) !=
"2cl7__spirv")
589 return std::string();
590 DemangledNameLenStart = NameSpaceStart + 11;
592 Start = Name.find_first_not_of(
"0123456789", DemangledNameLenStart);
593 bool Error = Name.substr(DemangledNameLenStart, Start - DemangledNameLenStart)
594 .getAsInteger(10, Len);
596 return std::string();
597 return Name.substr(Start, Len).str();
601 if (Name.starts_with(
"opencl.") || Name.starts_with(
"ocl_") ||
602 Name.starts_with(
"spirv."))
624 if (
F.getFnAttribute(
"hlsl.shader").isValid())
631 TypeName.consume_front(
"atomic_");
632 if (TypeName.consume_front(
"void"))
634 else if (TypeName.consume_front(
"bool") || TypeName.consume_front(
"_Bool"))
636 else if (TypeName.consume_front(
"char") ||
637 TypeName.consume_front(
"signed char") ||
638 TypeName.consume_front(
"unsigned char") ||
639 TypeName.consume_front(
"uchar"))
641 else if (TypeName.consume_front(
"short") ||
642 TypeName.consume_front(
"signed short") ||
643 TypeName.consume_front(
"unsigned short") ||
644 TypeName.consume_front(
"ushort"))
646 else if (TypeName.consume_front(
"int") ||
647 TypeName.consume_front(
"signed int") ||
648 TypeName.consume_front(
"unsigned int") ||
649 TypeName.consume_front(
"uint"))
651 else if (TypeName.consume_front(
"long") ||
652 TypeName.consume_front(
"signed long") ||
653 TypeName.consume_front(
"unsigned long") ||
654 TypeName.consume_front(
"ulong"))
656 else if (TypeName.consume_front(
"half") ||
657 TypeName.consume_front(
"_Float16") ||
658 TypeName.consume_front(
"__fp16"))
660 else if (TypeName.consume_front(
"float"))
662 else if (TypeName.consume_front(
"double"))
669SmallPtrSet<BasicBlock *, 0>
670PartialOrderingVisitor::getReachableFrom(BasicBlock *Start) {
671 std::queue<BasicBlock *> ToVisit;
674 SmallPtrSet<BasicBlock *, 0> Output;
675 while (ToVisit.size() != 0) {
676 BasicBlock *BB = ToVisit.front();
679 if (Output.count(BB) != 0)
693bool PartialOrderingVisitor::CanBeVisited(
BasicBlock *BB)
const {
696 if (DT.dominates(BB,
P))
700 if (BlockToOrder.count(
P) == 0)
705 Loop *
L = LI.getLoopFor(
P);
706 if (L ==
nullptr ||
L->contains(BB))
712 assert(
L->getNumBackEdges() <= 1);
718 if (Latch ==
nullptr)
722 if (BlockToOrder.count(Latch) == 0)
730 auto It = BlockToOrder.find(BB);
731 if (It != BlockToOrder.end())
732 return It->second.Rank;
737 if (DT.dominates(BB,
P))
740 auto Iterator = BlockToOrder.end();
741 Loop *L = LI.getLoopFor(
P);
742 BasicBlock *Latch = L ? L->getLoopLatch() :
nullptr;
746 if (L ==
nullptr || L->contains(BB) || Latch ==
nullptr) {
747 Iterator = BlockToOrder.find(
P);
752 Iterator = BlockToOrder.find(Latch);
755 assert(Iterator != BlockToOrder.end());
756 result = std::max(result, Iterator->second.Rank + 1);
762size_t PartialOrderingVisitor::visit(
BasicBlock *BB,
size_t Unused) {
766 size_t QueueIndex = 0;
767 while (ToVisit.size() != 0) {
771 if (!CanBeVisited(BB)) {
773 if (QueueIndex >= ToVisit.size())
775 "No valid candidate in the queue. Is the graph reducible?");
782 OrderInfo Info = {Rank, BlockToOrder.
size()};
783 BlockToOrder.try_emplace(BB, Info);
786 if (Queued.count(S) != 0)
800 visit(&*
F.begin(), 0);
802 Order.reserve(
F.size());
803 for (
auto &[BB, Info] : BlockToOrder)
804 Order.emplace_back(BB);
813 const OrderInfo &InfoLHS = BlockToOrder.at(
const_cast<BasicBlock *
>(
LHS));
814 const OrderInfo &InfoRHS = BlockToOrder.at(
const_cast<BasicBlock *
>(
RHS));
815 if (InfoLHS.Rank != InfoRHS.Rank)
816 return InfoLHS.Rank < InfoRHS.Rank;
817 return InfoLHS.TraversalIndex < InfoRHS.TraversalIndex;
823 assert(BlockToOrder.count(&Start) != 0);
826 auto It = Order.begin();
827 while (It != Order.end() && *It != &Start)
832 assert(It != Order.end());
835 std::optional<size_t> EndRank = std::nullopt;
836 for (; It != Order.end(); ++It) {
837 if (EndRank.has_value() && BlockToOrder[*It].Rank > *EndRank)
840 if (Reachable.count(*It) == 0) {
845 EndRank = BlockToOrder[*It].Rank;
855 std::vector<BasicBlock *> Order;
856 Order.reserve(
F.size());
861 assert(&*
F.begin() == Order[0]);
864 if (BB != LastBlock && &*LastBlock->
getNextNode() != BB) {
877 F.begin()->getFirstInsertionPt());
887 return TargetToValue.
lookup(BI->getSuccessor());
890 Builder.SetInsertPoint(
T);
896 if (
LHS ==
nullptr ||
RHS ==
nullptr)
898 return Builder.CreateSelect(BI->getCondition(),
LHS,
RHS);
902 Value *Condition =
SI->getCondition();
905 for (
const auto &Case :
SI->cases()) {
906 Value *CaseValue = TargetToValue.
lookup(Case.getCaseSuccessor());
908 if (CaseValue ==
nullptr)
911 if (Result ==
nullptr) {
915 Value *Cmp = Builder.CreateICmpEQ(Condition, Case.getCaseValue());
916 Result = Builder.CreateSelect(Cmp, CaseValue, Result);
926 if (MaybeDef && MaybeDef->
getOpcode() == SPIRV::ASSIGN_TYPE)
934 constexpr unsigned MaxIters = 1024;
935 for (
unsigned I = 0;
I < MaxIters; ++
I) {
936 std::string OrdName = Name +
Twine(
I).
str();
937 if (!M.getFunction(OrdName)) {
938 Name = std::move(OrdName);
964 SPIRV::AccessQualifier::AccessQualifier AccessQual,
965 bool EmitIR,
bool Force) {
994 SPIRV::AccessQualifier::AccessQualifier AccessQual,
bool EmitIR) {
1001 return SPVTy->
getOpcode() == SPIRV::OpTypeVector ||
1002 SPVTy->
getOpcode() == SPIRV::OpTypeVectorIdEXT;
1009 Args.push_back(Arg2);
1012 return B.CreateIntrinsicWithoutFolding(IntrID, {Types}, Args);
1017 if (Ty->isPtrOrPtrVectorTy())
1022 for (
const Type *ArgTy : RefTy->params())
1035 if (
F->getName().starts_with(
"llvm.spv."))
1042SmallVector<MachineInstr *, 4>
1044 unsigned MinWC,
unsigned ContinuedOpcode,
1049 constexpr unsigned MaxWordCount = UINT16_MAX;
1050 const size_t NumElements = Args.size();
1051 size_t MaxNumElements = MaxWordCount - MinWC;
1052 size_t SPIRVStructNumElements = NumElements;
1054 if (NumElements > MaxNumElements) {
1057 SPIRVStructNumElements = MaxNumElements;
1058 MaxNumElements = MaxWordCount - 1;
1064 for (
size_t I = 0;
I < SPIRVStructNumElements; ++
I)
1067 Instructions.push_back(MIB.getInstr());
1069 for (
size_t I = SPIRVStructNumElements;
I < NumElements;
1070 I += MaxNumElements) {
1071 auto MIB = MIRBuilder.
buildInstr(ContinuedOpcode);
1072 for (
size_t J =
I; J < std::min(
I + MaxNumElements, NumElements); ++J)
1074 Instructions.push_back(MIB.getInstr());
1076 return Instructions;
1079SmallVector<unsigned, 1>
1081 unsigned LC = SPIRV::LoopControl::None;
1085 std::vector<std::pair<unsigned, unsigned>> MaskToValueMap;
1087 LC |= SPIRV::LoopControl::DontUnroll;
1091 LC |= SPIRV::LoopControl::Unroll;
1097 unsigned Count = CI->getZExtValue();
1099 LC |= SPIRV::LoopControl::PartialCount;
1100 MaskToValueMap.emplace_back(
1101 std::make_pair(SPIRV::LoopControl::PartialCount,
Count));
1107 for (
auto &[Mask, Val] : MaskToValueMap)
1108 Result.push_back(Val);
1118 static const std::set<unsigned> TypeFoldingSupportingOpcs = {
1119 TargetOpcode::G_ADD,
1120 TargetOpcode::G_FADD,
1121 TargetOpcode::G_STRICT_FADD,
1122 TargetOpcode::G_SUB,
1123 TargetOpcode::G_FSUB,
1124 TargetOpcode::G_STRICT_FSUB,
1125 TargetOpcode::G_MUL,
1126 TargetOpcode::G_FMUL,
1127 TargetOpcode::G_STRICT_FMUL,
1128 TargetOpcode::G_SDIV,
1129 TargetOpcode::G_UDIV,
1130 TargetOpcode::G_FDIV,
1131 TargetOpcode::G_STRICT_FDIV,
1132 TargetOpcode::G_SREM,
1133 TargetOpcode::G_UREM,
1134 TargetOpcode::G_FREM,
1135 TargetOpcode::G_STRICT_FREM,
1136 TargetOpcode::G_FNEG,
1137 TargetOpcode::G_CONSTANT,
1138 TargetOpcode::G_FCONSTANT,
1139 TargetOpcode::G_AND,
1141 TargetOpcode::G_XOR,
1142 TargetOpcode::G_SHL,
1143 TargetOpcode::G_ASHR,
1144 TargetOpcode::G_LSHR,
1145 TargetOpcode::G_SELECT,
1146 TargetOpcode::G_EXTRACT_VECTOR_ELT,
1149 return TypeFoldingSupportingOpcs;
1158 return (Def->getOpcode() == SPIRV::ASSIGN_TYPE ||
1159 Def->getOpcode() == TargetOpcode::COPY)
1160 ? MRI->
getVRegDef(Def->getOperand(1).getReg())
1172 if (Def->getOpcode() == TargetOpcode::G_CONSTANT ||
1173 Def->getOpcode() == SPIRV::OpConstantI)
1181 if (Def->getOpcode() == SPIRV::OpConstantI)
1182 return Def->getOperand(2).getImm();
1183 if (Def->getOpcode() == TargetOpcode::G_CONSTANT)
1184 return Def->getOperand(1).getCImm()->getZExtValue();
1197 if (Ty->getStructNumElements() != 2)
1212 if (T_in_struct != SecondElement)
1215 auto *Padding_in_struct =
1217 if (!Padding_in_struct || Padding_in_struct->getName() !=
"spirv.Padding")
1221 TotalSize = ArraySize + 1;
1222 OriginalElementType = ArrayElementType;
1227 if (!Ty->isStructTy())
1231 Type *OriginalElementType =
nullptr;
1241 for (
Type *ElementTy : STy->elements()) {
1243 if (NewElementTy != ElementTy)
1245 NewElementTypes.
push_back(NewElementTy);
1252 if (STy->isLiteral()) {
1257 STy->getName(), STy->isPacked());
1262std::optional<SPIRV::LinkageType::LinkageType>
1265 return std::nullopt;
1271 if (SC == SPIRV::StorageClass::Input ||
1272 SC == SPIRV::StorageClass::Output ||
1273 SC == SPIRV::StorageClass::PushConstant)
1274 return std::nullopt;
1277 if (ST.isShader() && (SC == SPIRV::StorageClass::Workgroup ||
1278 SC == SPIRV::StorageClass::Private))
1279 return std::nullopt;
1281 return SPIRV::LinkageType::Import;
1285 return std::nullopt;
1288 ST.canUseExtension(SPIRV::Extension::SPV_KHR_linkonce_odr))
1289 return SPIRV::LinkageType::LinkOnceODR;
1292 ST.canUseExtension(SPIRV::Extension::SPV_AMD_weak_linkage))
1293 return SPIRV::LinkageType::WeakAMD;
1295 return SPIRV::LinkageType::Export;
1302 "cannot allocate a name for the internal service function");
1304 if (SF->getInstructionCount() > 0)
1306 "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 LLVM_READONLY 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
SPIRVTypeInst getOrCreateSPIRVIntegerType(unsigned BitWidth, MachineIRBuilder &MIRBuilder)
LLT getRegType(SPIRVTypeInst SpvType) const
SPIRVTypeInst getOrCreateSPIRVType(const Type *Type, MachineInstr &I, SPIRV::AccessQualifier::AccessQualifier AQ, bool EmitIR)
Register buildConstantInt(uint64_t Val, MachineIRBuilder &MIRBuilder, SPIRVTypeInst SpvType, bool EmitIR, bool ZeroAsNull=true)
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.
Triple - Helper class for working with autoconf configuration names.
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
unsigned getNumOperands() 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.
static MDNode * findNamedMDOperand(NamedMDNode *NMD, StringRef Name)
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.
AtomicScope
Target-neutral memory synchronization scopes.
bool isTypeFoldingSupported(unsigned Opcode)
uint32_t getMemSemanticsWithStorageClass(const Triple &TT, uint32_t OrderSem, uint32_t StorageClassSem)
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)
SPIRV::Scope::Scope getMemScope(const Triple &TT, LLVMContext &Ctx, SyncScope::ID Id)
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 isVectorType(SPIRVTypeInst SPVTy)
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)
constexpr bool isUInt(uint64_t x)
Checks if an unsigned integer fits into the given bit width.
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.
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.
std::optional< StringRef > getAtomicScopeIRString(const Triple &T, AtomicScope S, bool IsSingleAddressSpace=false)
Returns the LLVM IR syncscope string that T uses to spell S.
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.