sdfg::analysis Namespace Reference

Classes
class	Analysis
class	AnalysisManager
struct	DataRwFlags
struct	RegionArgument
class	ArgumentsAnalysis
class	AssumptionsAnalysis
class	ControlFlowAnalysis
class	DataDependencyAnalysis
	Computes the read-after-write relation between users. More...
struct	LoopInfo
	is_perfectly_nested: is the entire loop hierarchy with loop at the top perfectly nested on every level is_perfectly_parallel: is the entire loop hierarchy with loop at the top perfectly parallel on every level num_loops [maps, fors, whiles]: number of X contained within, including the loop itself More...
struct	LocalLoopInfo
	Meant to contain only per-loop data (does not reflect what loops nested inside do / have) This is a pre-processing step to collect the loop-nest-wide info. More...
class	LoopAnalysis
struct	MemoryTile
struct	MemoryTileGroup
class	MemoryLayoutAnalysis
	Analysis that infers the assumed memory layouts of memlets. More...
class	PointerEscapeAnalyzer
	Reusable BaseUserAnalyzer that detects pointer escapes. More...
class	PointerOverwriteAnalyzer
	Reusable BaseUserAnalyzer that detects pointer overwrites. More...
class	PointerUsedAnalyzer
	Indirect access via pointer happened. More...
class	ReferenceAnalysis
class	TypeAnalysis
class	ForwardingEscapePolicy
struct	OffloadHolder
struct	ExposedOffload
struct	DeviceFreeSite
	A device-buffer deallocation site: the FREE-lifecycle offloading node together with the block it lives in. More...
class	DataTransferEliminationCandidateCollector
struct	OffloadState
class	DataTransferEliminationAnalysis
struct	DataFlowState
struct	ElementIdMapDataFlowState
class	ForwardStructuredDataFlowAnalysis
	Base class for forward data-flow analysis over structured control flow. More...
class	BaseUserAnalyzer
class	BaseUserVisitor
	Finds uses of containers. More...
class	ForUser
class	User
class	Users
class	UsersView

Concepts
concept	EscapePolicy
	Concept for policies that handle pointer usages.
concept	EscapeDetailsPolicy
	A more detailed variant of EscapePolicy that aims to distinguish between different types of pointer escapes and over-declare less.
concept	OverwritePolicy
concept	PointerUsedPolicy

Typedefs
typedef math::tensor::TensorLayout	MemoryLayout
using	ElementId = sdfg::ElementId

Enumerations
enum class	MergeMode { CUMULATIVE , BRANCHES }
enum	Use

Functions
nlohmann::json	loop_info_to_json (LoopInfo info)
void	loop_info_local_to_json (nlohmann::json &j, const LocalLoopInfo &info)

Typedef Documentation

ElementId

using sdfg::analysis::ElementId = sdfg::ElementId

MemoryLayout

typedef math::tensor::TensorLayout sdfg::analysis::MemoryLayout

Enumeration Type Documentation

MergeMode

enum class sdfg::analysis::MergeMode

strong

Enumerator
CUMULATIVE
BRANCHES

Use

enum sdfg::users::Use

Function Documentation

loop_info_local_to_json()

void sdfg::analysis::loop_info_local_to_json	(	nlohmann::json &	j,
		const LocalLoopInfo &	info )

loop_info_to_json()

nlohmann::json sdfg::analysis::loop_info_to_json ( LoopInfo info )

inline