sdfg::transformations::Replayer Class Reference

Replays recorded transformations on an SDFG. More...

#include <sdfg/transformations/replayer.h>

Public Member Functions
void	replay (builder::StructuredSDFGBuilder &builder, analysis::AnalysisManager &analysis_manager, const nlohmann::json &desc, bool skip_if_not_applicable=true, size_t loopnest_index=0)
	Replay a sequence of transformations from JSON.
template<typename T> requires transformation_concept<T>
void	apply (builder::StructuredSDFGBuilder &builder, analysis::AnalysisManager &analysis_manager, const nlohmann::json &desc, bool skip_if_not_applicable=true)
	Apply a single transformation from JSON description.

Detailed Description

Replays recorded transformations on an SDFG.

The Replayer class takes transformation descriptions (typically from a Recorder) and applies them to an SDFG. This enables:

• Reapplication of successful transformation sequences
• Testing transformation sequences on different inputs
• Automated optimization pipelines

Member Function Documentation

apply()

template<typename T>
requires transformation_concept<T>

void sdfg::transformations::Replayer::apply ( builder::StructuredSDFGBuilder & builder, analysis::AnalysisManager & analysis_manager, const nlohmann::json & desc, bool skip_if_not_applicable = true )

inline

Apply a single transformation from JSON description.

Template Parameters

T	The transformation type (must satisfy transformation_concept)

Parameters

builder	The SDFG builder
analysis_manager	The analysis manager
desc	JSON transformation description
skip_if_not_applicable	If true, skip if transformation cannot be applied

Exceptions

InvalidTransformationException

if transformation cannot be applied and skip_if_not_applicable is false

replay()

void sdfg::transformations::Replayer::replay	(	builder::StructuredSDFGBuilder &	builder,
		analysis::AnalysisManager &	analysis_manager,
		const nlohmann::json &	desc,
		bool	skip_if_not_applicable = true,
		size_t	loopnest_index = 0 )

Replay a sequence of transformations from JSON.

Parameters

builder	The SDFG builder
analysis_manager	The analysis manager
desc	JSON array or single transformation description
skip_if_not_applicable	If true, skip transformations that cannot be applied
loopnest_index	Starting index for loop nests

Exceptions

InvalidTransformationException

if transformation cannot be applied and skip_if_not_applicable is false

---

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

• opt/include/sdfg/transformations/replayer.h