#include "SPIRVModuleAnalysis.h"
#include "MCTargetDesc/SPIRVBaseInfo.h"
#include "MCTargetDesc/SPIRVMCTargetDesc.h"
#include "SPIRV.h"
#include "SPIRVSubtarget.h"
#include "SPIRVTargetMachine.h"
#include "SPIRVUtils.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/CodeGen/MachineModuleInfo.h"
#include "llvm/CodeGen/TargetPassConfig.h"

Classes
struct	AvoidCapabilitiesSet

Namespaces
namespace	llvm
	This is an optimization pass for GlobalISel generic memory operations.

namespace	llvm::SPIRV

Macros
#define	DEBUG_TYPE "spirv-module-analysis"

#define	ATOM_FLT_REQ_EXT_MSG(ExtName)

Typedefs
using	InstrTraces = std::set< InstrSignature >

Functions
void	llvm::initializeSPIRVModuleAnalysisPass (PassRegistry &)

	INITIALIZE_PASS (SPIRVModuleAnalysis, DEBUG_TYPE, "SPIRV module analysis", true, true) static unsigned getMetadataUInt(MDNode *MdNode

static InstrSignature	instrToSignature (MachineInstr &MI, SPIRV::ModuleAnalysisInfo &MAI)

static void	collectOtherInstr (MachineInstr &MI, SPIRV::ModuleAnalysisInfo &MAI, SPIRV::ModuleSectionType MSType, InstrTraces &IS, bool Append=true)

static void	addOpDecorateReqs (const MachineInstr &MI, unsigned DecIndex, SPIRV::RequirementHandler &Reqs, const SPIRVSubtarget &ST)

static void	addOpTypeImageReqs (const MachineInstr &MI, SPIRV::RequirementHandler &Reqs, const SPIRVSubtarget &ST)

static void	AddAtomicFloatRequirements (const MachineInstr &MI, SPIRV::RequirementHandler &Reqs, const SPIRVSubtarget &ST)

bool	isUniformTexelBuffer (MachineInstr *ImageInst)

bool	isStorageTexelBuffer (MachineInstr *ImageInst)

bool	isSampledImage (MachineInstr *ImageInst)

bool	isInputAttachment (MachineInstr *ImageInst)

bool	isStorageImage (MachineInstr *ImageInst)

bool	isCombinedImageSampler (MachineInstr *SampledImageInst)

bool	hasNonUniformDecoration (Register Reg, const MachineRegisterInfo &MRI)

void	addOpAccessChainReqs (const MachineInstr &Instr, SPIRV::RequirementHandler &Handler, const SPIRVSubtarget &Subtarget)

static bool	isImageTypeWithUnknownFormat (SPIRVType *TypeInst)

static void	AddDotProductRequirements (const MachineInstr &MI, SPIRV::RequirementHandler &Reqs, const SPIRVSubtarget &ST)

void	addInstrRequirements (const MachineInstr &MI, SPIRV::RequirementHandler &Reqs, const SPIRVSubtarget &ST)

static void	collectReqs (const Module &M, SPIRV::ModuleAnalysisInfo &MAI, MachineModuleInfo *MMI, const SPIRVSubtarget &ST)

static unsigned	getFastMathFlags (const MachineInstr &I)

static void	handleMIFlagDecoration (MachineInstr &I, const SPIRVSubtarget &ST, const SPIRVInstrInfo &TII, SPIRV::RequirementHandler &Reqs)

static void	addDecorations (const Module &M, const SPIRVInstrInfo &TII, MachineModuleInfo *MMI, const SPIRVSubtarget &ST, SPIRV::ModuleAnalysisInfo &MAI)

static void	addMBBNames (const Module &M, const SPIRVInstrInfo &TII, MachineModuleInfo *MMI, const SPIRVSubtarget &ST, SPIRV::ModuleAnalysisInfo &MAI)

static void	patchPhis (const Module &M, SPIRVGlobalRegistry GR, const SPIRVInstrInfo &TII, MachineModuleInfo MMI)

Variables
static cl::opt< bool >	SPVDumpDeps ("spv-dump-deps", cl::desc("Dump MIR with SPIR-V dependencies info"), cl::Optional, cl::init(false))

static cl::list< SPIRV::Capability::Capability >	AvoidCapabilities ("avoid-spirv-capabilities", cl::desc("SPIR-V capabilities to avoid if there are " "other options enabling a feature"), cl::ZeroOrMore, cl::Hidden, cl::values(clEnumValN(SPIRV::Capability::Shader, "Shader", "SPIR-V Shader capability")))

unsigned	OpIndex

unsigned unsigned	DefaultVal

Macro Definition Documentation

◆ ATOM_FLT_REQ_EXT_MSG

#define ATOM_FLT_REQ_EXT_MSG ( ExtName )

Value:

"The atomic float instruction requires the following SPIR-V " \

"extension: SPV_EXT_shader_atomic_float" ExtName

Definition at line 828 of file SPIRVModuleAnalysis.cpp.

◆ DEBUG_TYPE

#define DEBUG_TYPE "spirv-module-analysis"

Definition at line 30 of file SPIRVModuleAnalysis.cpp.

Typedef Documentation

◆ InstrTraces

using InstrTraces = std::set<InstrSignature>

Definition at line 372 of file SPIRVModuleAnalysis.cpp.

Function Documentation

◆ AddAtomicFloatRequirements()

static void AddAtomicFloatRequirements	(	const MachineInstr &	MI,
		SPIRV::RequirementHandler &	Reqs,
		const SPIRVSubtarget &	ST
	)

static

Definition at line 831 of file SPIRVModuleAnalysis.cpp.

References llvm::SPIRV::RequirementHandler::addCapability(), llvm::SPIRV::RequirementHandler::addExtension(), assert(), ATOM_FLT_REQ_EXT_MSG, llvm::BitWidth, llvm::MachineOperand::getImm(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), MI, and llvm::report_fatal_error().

Referenced by addInstrRequirements().

◆ addDecorations()

static void addDecorations	(	const Module &	M,
		const SPIRVInstrInfo &	TII,
		MachineModuleInfo *	MMI,
		const SPIRVSubtarget &	ST,
		SPIRV::ModuleAnalysisInfo &	MAI
	)

static

Definition at line 1756 of file SPIRVModuleAnalysis.cpp.

References F, llvm::MachineModuleInfo::getMachineFunction(), handleMIFlagDecoration(), MBB, MI, llvm::SPIRV::ModuleAnalysisInfo::Reqs, and TII.

Referenced by llvm::SPIRVModuleAnalysis::runOnModule().

◆ AddDotProductRequirements()

static void AddDotProductRequirements	(	const MachineInstr &	MI,
		SPIRV::RequirementHandler &	Reqs,
		const SPIRVSubtarget &	ST
	)

static

Definition at line 1025 of file SPIRVModuleAnalysis.cpp.

References llvm::SPIRV::RequirementHandler::addCapability(), llvm::SPIRV::RequirementHandler::addExtension(), assert(), llvm::MachineOperand::getImm(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineOperand::isReg(), MI, and MRI.

Referenced by addInstrRequirements().

◆ addInstrRequirements()

void addInstrRequirements	(	const MachineInstr &	MI,
		SPIRV::RequirementHandler &	Reqs,
		const SPIRVSubtarget &	ST
	)

◆ addMBBNames()

static void addMBBNames	(	const Module &	M,
		const SPIRVInstrInfo &	TII,
		MachineModuleInfo *	MMI,
		const SPIRVSubtarget &	ST,
		SPIRV::ModuleAnalysisInfo &	MAI
	)

static

Definition at line 1769 of file SPIRVModuleAnalysis.cpp.

References llvm::buildOpName(), llvm::MachineBasicBlock::empty(), llvm::MachineBasicBlock::end(), F, llvm::MachineModuleInfo::getMachineFunction(), llvm::MachineBasicBlock::getName(), llvm::SPIRV::ModuleAnalysisInfo::getOrCreateMBBRegister(), llvm::MachineFunction::getRegInfo(), llvm::MachineBasicBlock::hasName(), MBB, MRI, llvm::LLT::scalar(), llvm::SPIRV::ModuleAnalysisInfo::setRegisterAlias(), and TII.

Referenced by llvm::SPIRVModuleAnalysis::runOnModule().

◆ addOpAccessChainReqs()

void addOpAccessChainReqs	(	const MachineInstr &	Instr,
		SPIRV::RequirementHandler &	Handler,
		const SPIRVSubtarget &	Subtarget
	)

Definition at line 950 of file SPIRVModuleAnalysis.cpp.

References llvm::SPIRV::RequirementHandler::addRequirements(), assert(), llvm::MachineOperand::getImm(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), hasNonUniformDecoration(), isCombinedImageSampler(), isInputAttachment(), isSampledImage(), isStorageImage(), isStorageTexelBuffer(), isUniformTexelBuffer(), and MRI.

Referenced by addInstrRequirements().

◆ addOpDecorateReqs()

static void addOpDecorateReqs	(	const MachineInstr &	MI,
		unsigned	DecIndex,
		SPIRV::RequirementHandler &	Reqs,
		const SPIRVSubtarget &	ST
	)

static

Definition at line 739 of file SPIRVModuleAnalysis.cpp.

References llvm::SPIRV::RequirementHandler::addExtension(), llvm::SPIRV::RequirementHandler::addRequirements(), and MI.

Referenced by addInstrRequirements().

◆ addOpTypeImageReqs()

static void addOpTypeImageReqs	(	const MachineInstr &	MI,
		SPIRV::RequirementHandler &	Reqs,
		const SPIRVSubtarget &	ST
	)

static

Definition at line 773 of file SPIRVModuleAnalysis.cpp.

References llvm::SPIRV::RequirementHandler::addRequirements(), assert(), llvm::SPIRV::RequirementHandler::getAndAddRequirements(), and MI.

Referenced by addInstrRequirements().

◆ collectOtherInstr()

static void collectOtherInstr	(	MachineInstr &	MI,
		SPIRV::ModuleAnalysisInfo &	MAI,
		SPIRV::ModuleSectionType	MSType,
		InstrTraces &	IS,
		bool	Append = `true`
	)

static

Definition at line 400 of file SPIRVModuleAnalysis.cpp.

References llvm::SmallVectorTemplateCommon< T, typename >::begin(), llvm::SmallVectorImpl< T >::insert(), instrToSignature(), MI, llvm::SPIRV::ModuleAnalysisInfo::MS, llvm::SmallVectorTemplateBase< T, bool >::push_back(), and llvm::SPIRV::ModuleAnalysisInfo::setSkipEmission().

◆ collectReqs()

static void collectReqs	(	const Module &	M,
		SPIRV::ModuleAnalysisInfo &	MAI,
		MachineModuleInfo *	MMI,
		const SPIRVSubtarget &	ST
	)

static

Definition at line 1615 of file SPIRVModuleAnalysis.cpp.

References llvm::SPIRV::RequirementHandler::addCapability(), llvm::SPIRV::RequirementHandler::addExtension(), addInstrRequirements(), llvm::CallingConv::C, F, llvm::SPIRV::RequirementHandler::getAndAddRequirements(), llvm::MachineModuleInfo::getMachineFunction(), llvm::MDNode::getOperand(), MBB, MI, and llvm::SPIRV::ModuleAnalysisInfo::Reqs.

Referenced by llvm::SPIRVModuleAnalysis::runOnModule().

◆ getFastMathFlags()

static unsigned getFastMathFlags ( const MachineInstr & I )

static

Definition at line 1713 of file SPIRVModuleAnalysis.cpp.

References llvm::MachineInstr::FmArcp, llvm::MachineInstr::FmNoInfs, llvm::MachineInstr::FmNoNans, llvm::MachineInstr::FmNsz, llvm::MachineInstr::FmReassoc, and I.

Referenced by CreateAdd(), CreateMul(), handleMIFlagDecoration(), and instCombineSVEVectorFuseMulAddSub().

◆ handleMIFlagDecoration()

static void handleMIFlagDecoration	(	MachineInstr &	I,
		const SPIRVSubtarget &	ST,
		const SPIRVInstrInfo &	TII,
		SPIRV::RequirementHandler &	Reqs
	)

static

Definition at line 1728 of file SPIRVModuleAnalysis.cpp.

References llvm::buildOpDecorate(), getFastMathFlags(), I, llvm::MachineInstr::NoSWrap, llvm::MachineInstr::NoUWrap, and TII.

Referenced by addDecorations().

◆ hasNonUniformDecoration()

bool hasNonUniformDecoration	(	Register	Reg,
		const MachineRegisterInfo &	MRI
	)

Definition at line 938 of file SPIRVModuleAnalysis.cpp.

References MI, and MRI.

Referenced by addOpAccessChainReqs().

◆ INITIALIZE_PASS()

INITIALIZE_PASS	(	SPIRVModuleAnalysis	,
		DEBUG_TYPE	,
		"SPIRV module analysis"	,
		true	,
		true
	)

◆ instrToSignature()

static InstrSignature instrToSignature	(	MachineInstr &	MI,
		SPIRV::ModuleAnalysisInfo &	MAI
	)

static

Definition at line 378 of file SPIRVModuleAnalysis.cpp.

References llvm::MachineOperand::getReg(), llvm::SPIRV::ModuleAnalysisInfo::getRegisterAlias(), llvm::MachineOperand::getSubReg(), llvm::MachineOperand::getType(), llvm::hash_combine(), llvm::hash_value(), llvm::MachineOperand::isDef(), llvm::MachineOperand::isReg(), and MI.

Referenced by collectOtherInstr().

◆ isCombinedImageSampler()

bool isCombinedImageSampler ( MachineInstr * SampledImageInst )

Definition at line 928 of file SPIRVModuleAnalysis.cpp.

References llvm::MachineInstr::getMF(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineFunction::getRegInfo(), isSampledImage(), and MRI.

Referenced by addOpAccessChainReqs().

◆ isImageTypeWithUnknownFormat()

static bool isImageTypeWithUnknownFormat ( SPIRVType * TypeInst )

static

Definition at line 1018 of file SPIRVModuleAnalysis.cpp.

References assert(), llvm::MachineOperand::getImm(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), and llvm::MachineOperand::isImm().

Referenced by addInstrRequirements().

◆ isInputAttachment()

bool isInputAttachment ( MachineInstr * ImageInst )

Definition at line 912 of file SPIRVModuleAnalysis.cpp.

References llvm::MachineOperand::getImm(), llvm::MachineInstr::getOpcode(), and llvm::MachineInstr::getOperand().

Referenced by addOpAccessChainReqs().

◆ isSampledImage()

bool isSampledImage ( MachineInstr * ImageInst )

Definition at line 904 of file SPIRVModuleAnalysis.cpp.

References llvm::MachineOperand::getImm(), llvm::MachineInstr::getOpcode(), and llvm::MachineInstr::getOperand().

Referenced by addOpAccessChainReqs(), and isCombinedImageSampler().

◆ isStorageImage()

bool isStorageImage ( MachineInstr * ImageInst )

Definition at line 920 of file SPIRVModuleAnalysis.cpp.

References llvm::MachineOperand::getImm(), llvm::MachineInstr::getOpcode(), and llvm::MachineInstr::getOperand().

Referenced by addOpAccessChainReqs().

◆ isStorageTexelBuffer()

bool isStorageTexelBuffer ( MachineInstr * ImageInst )

Definition at line 896 of file SPIRVModuleAnalysis.cpp.

References llvm::MachineOperand::getImm(), llvm::MachineInstr::getOpcode(), and llvm::MachineInstr::getOperand().

Referenced by addOpAccessChainReqs().

◆ isUniformTexelBuffer()

bool isUniformTexelBuffer ( MachineInstr * ImageInst )

Definition at line 888 of file SPIRVModuleAnalysis.cpp.

References llvm::MachineOperand::getImm(), llvm::MachineInstr::getOpcode(), and llvm::MachineInstr::getOperand().

Referenced by addOpAccessChainReqs().

◆ patchPhis()

static void patchPhis	(	const Module &	M,
		SPIRVGlobalRegistry *	GR,
		const SPIRVInstrInfo &	TII,
		MachineModuleInfo *	MMI
	)

static

Definition at line 1791 of file SPIRVModuleAnalysis.cpp.

References F, llvm::MachineModuleInfo::getMachineFunction(), llvm::SPIRVGlobalRegistry::getSPIRVTypeForVReg(), llvm::SPIRVGlobalRegistry::getSPIRVTypeID(), MBB, MI, and TII.

Referenced by llvm::SPIRVModuleAnalysis::runOnModule().

Variable Documentation

◆ AvoidCapabilities

cl::list< SPIRV::Capability::Capability > AvoidCapabilities("avoid-spirv-capabilities", cl::desc("SPIR-V capabilities to avoid if there are " "other options enabling a feature"), cl::ZeroOrMore, cl::Hidden, cl::values(clEnumValN(SPIRV::Capability::Shader, "Shader", "SPIR-V Shader capability")))	(	"avoid-spirv-capabilities"	,
		cl::desc("SPIR-V capabilities to avoid if there are " "other options enabling a feature")	,
		cl::ZeroOrMore	,
		cl::Hidden	,
		cl::values(clEnumValN(SPIRV::Capability::Shader, "Shader", "SPIR-V Shader capability"))
	)

static

Referenced by AvoidCapabilitiesSet::AvoidCapabilitiesSet().

◆ DefaultVal

unsigned unsigned DefaultVal

Definition at line 64 of file SPIRVModuleAnalysis.cpp.

Referenced by llvm::AMDGPU::getIntegerVecAttribute().

◆ OpIndex

unsigned OpIndex

Definition at line 63 of file SPIRVModuleAnalysis.cpp.

Referenced by combineX86ShuffleChain(), llvm::DWARFDebugLine::Row::dump(), llvm::MipsELFStreamer::emitInstruction(), llvm::InstCombinerImpl::foldOpIntoPhi(), lowerV4X128Shuffle(), llvm::AArch64FrameLowering::orderFrameObjects(), and llvm::DWARFDebugLine::Row::reset().

◆ SPVDumpDeps

cl::opt< bool > SPVDumpDeps("spv-dump-deps", cl::desc("Dump MIR with SPIR-V dependencies info"), cl::Optional, cl::init(false))	(	"spv-dump-deps"	,
		cl::desc("Dump MIR with SPIR-V dependencies info")	,
		cl::Optional	,
		cl::init(false)
	)

static

Classes

Namespaces

Macros

Typedefs

Functions

Variables

Macro Definition Documentation

◆ ATOM_FLT_REQ_EXT_MSG

◆ DEBUG_TYPE

Typedef Documentation

◆ InstrTraces

Function Documentation

◆ AddAtomicFloatRequirements()

◆ addDecorations()

◆ AddDotProductRequirements()

◆ addInstrRequirements()

◆ addMBBNames()

◆ addOpAccessChainReqs()

◆ addOpDecorateReqs()

◆ addOpTypeImageReqs()

◆ collectOtherInstr()

◆ collectReqs()

◆ getFastMathFlags()

◆ handleMIFlagDecoration()

◆ hasNonUniformDecoration()

◆ INITIALIZE_PASS()

◆ instrToSignature()

◆ isCombinedImageSampler()

◆ isImageTypeWithUnknownFormat()

◆ isInputAttachment()

◆ isSampledImage()

◆ isStorageImage()

◆ isStorageTexelBuffer()

◆ isUniformTexelBuffer()

◆ patchPhis()

Variable Documentation

◆ AvoidCapabilities

◆ DefaultVal

◆ OpIndex

◆ SPVDumpDeps