sdfg::data_flow::ConvexAccessPattern Class Reference

#include <sdfg/data_flow/pointer_metadata.h>

Inheritance diagram for sdfg::data_flow::ConvexAccessPattern:

Public Member Functions
	ConvexAccessPattern (symbolic::Expression size, bool not_sparse=false)
symbolic::Expression	size () const
bool	empty () const override
	There are no elements in this pattern = no accesses of this type.
bool	every_element_accessed () const override
	Every element that is part of this pattern is actually accessed.
void	replace (const symbolic::Expression old_expression, const symbolic::Expression new_expression) override
void	replace (const symbolic::ExpressionMapping &replacements) override
MemoryAccessPatternType	clone () const override
void	serialize_to_json (nlohmann::json &entry) override
Public Member Functions inherited from sdfg::data_flow::MemoryAccessPattern
virtual	~MemoryAccessPattern ()=default
virtual const math::tensor::TensorLayout *	layout () const
	The structured affine layout (shape/strides/offset, in elements) backing this pattern, or nullptr when the pattern carries no explicit layout (a flat convex span or no access).
MemoryAccessPatternType	ref () const

Static Public Member Functions
static MemoryAccessPatternType	create (symbolic::Expression size, bool not_sparse=false)

Constructor & Destructor Documentation

ConvexAccessPattern()

sdfg::data_flow::ConvexAccessPattern::ConvexAccessPattern ( symbolic::Expression size, bool not_sparse = false )

inline

Member Function Documentation

clone()

MemoryAccessPatternType sdfg::data_flow::ConvexAccessPattern::clone ( ) const

overridevirtual

Implements sdfg::data_flow::MemoryAccessPattern.

create()

MemoryAccessPatternType sdfg::data_flow::ConvexAccessPattern::create ( symbolic::Expression size, bool not_sparse = false )

static

empty()

bool sdfg::data_flow::ConvexAccessPattern::empty ( ) const

inlineoverridevirtual

There are no elements in this pattern = no accesses of this type.

Implements sdfg::data_flow::MemoryAccessPattern.

every_element_accessed()

bool sdfg::data_flow::ConvexAccessPattern::every_element_accessed ( ) const

inlineoverridevirtual

Every element that is part of this pattern is actually accessed.

If false, this is just an approximation that may contain elements in between the bounds that are not guaranteed to be accessed Ex. indicating write of a[0] and a[9] as ConvexPattern(10) is approximate. Writes a[0], a[1], .. [9] would be every element being accessed. Bounds should never be violated regardless. We may in the future

Implements sdfg::data_flow::MemoryAccessPattern.

replace() [1/2]

void sdfg::data_flow::ConvexAccessPattern::replace ( const symbolic::Expression old_expression, const symbolic::Expression new_expression )

inlineoverridevirtual

Implements sdfg::data_flow::MemoryAccessPattern.

replace() [2/2]

void sdfg::data_flow::ConvexAccessPattern::replace ( const symbolic::ExpressionMapping & replacements )

inlineoverridevirtual

Implements sdfg::data_flow::MemoryAccessPattern.

serialize_to_json()

void sdfg::data_flow::ConvexAccessPattern::serialize_to_json ( nlohmann::json & entry )

overridevirtual

Implements sdfg::data_flow::MemoryAccessPattern.

size()

symbolic::Expression sdfg::data_flow::ConvexAccessPattern::size ( ) const

inline

---

The documentation for this class was generated from the following file:

• sdfg/include/sdfg/data_flow/pointer_metadata.h