einsum_lift.h

Go to the documentation of this file.

#pragma once
 
#include <nlohmann/json_fwd.hpp>
#include <string>
 
#include "sdfg/analysis/analysis.h"
#include "sdfg/builder/structured_sdfg_builder.h"
#include "sdfg/data_flow/memlet.h"
#include "sdfg/data_flow/tasklet.h"
#include "sdfg/transformations/transformation.h"
 
namespace sdfg {
namespace einsum {
 
class EinsumLift : public transformations::Transformation {
private:
    data_flow::Tasklet& tasklet_;
 
    bool subsets_eq(const data_flow::Subset& subset1, const data_flow::Subset& subset2);
 
public:
    EinsumLift(data_flow::Tasklet& tasklet);
 
    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 EinsumLift from_json(builder::StructuredSDFGBuilder& builder, const nlohmann::json& j);
};
 
} // namespace einsum
} // namespace sdfg