memlet_simplification.h

Go to the documentation of this file.

 
#pragma once
 
#include <string>
 
#include "sdfg/analysis/analysis.h"
#include "sdfg/builder/structured_sdfg_builder.h"
#include "sdfg/passes/pass.h"
#include "sdfg/structured_control_flow/map.h"
#include "sdfg/visitor/structured_sdfg_visitor.h"
 
namespace sdfg {
namespace passes {

class MemletSimplification : public visitor::NonStoppingStructuredSDFGVisitor {
public:
    MemletSimplification(builder::StructuredSDFGBuilder& builder, analysis::AnalysisManager& analysis_manager);

    static std::string name() {
        return "MemletSimplification";
    }

    virtual bool accept(structured_control_flow::Map& map) override;
 
private:
    std::optional<symbolic::Expression>
    try_simplify_mixed_radix(const symbolic::Expression& expr, const symbolic::Symbol& expected_base);
};
 
typedef VisitorPass<MemletSimplification> MemletSimplificationPass;
 
} // namespace passes
} // namespace sdfg