loop_split.h

Go to the documentation of this file.

#pragma once
 
#include "sdfg/transformations/transformation.h"
 
namespace sdfg {
namespace transformations {

class LoopSplit : public Transformation {
    structured_control_flow::StructuredLoop& loop_;
    symbolic::Expression split_point_;
 
public:
    LoopSplit(structured_control_flow::StructuredLoop& loop, const symbolic::Expression& split_point);
 
    virtual std::string name() const override;
 
    virtual bool
    can_be_applied(builder::StructuredSDFGBuilder& builder, analysis::AnalysisManager& analysis_manager) override;
 
    virtual void apply(builder::StructuredSDFGBuilder& builder, analysis::AnalysisManager& analysis_manager) override;
 
    virtual void to_json(nlohmann::json& j) const override;
 
    static LoopSplit from_json(builder::StructuredSDFGBuilder& builder, const nlohmann::json& j);
};
 
} // namespace transformations
} // namespace sdfg