utils.h

Go to the documentation of this file.

 
#pragma once
 
#include <isl/map.h>
 
#include <optional>
 
#include "sdfg/symbolic/assumptions.h"
#include "sdfg/symbolic/symbolic.h"
 
namespace sdfg {
namespace symbolic {

std::string expression_to_map_str(const MultiExpression& expr, const Assumptions& assums);

std::tuple<std::string, std::string, std::string> expressions_to_intersection_map_str(
    const MultiExpression& expr1,
    const MultiExpression& expr2,
    const Symbol indvar,
    const Assumptions& assums1,
    const Assumptions& assums2
);

bool expressions_to_intersection_maps(
    isl_ctx* ctx,
    const MultiExpression& expr1,
    const MultiExpression& expr2,
    const Symbol indvar,
    const Assumptions& assums1,
    const Assumptions& assums2,
    isl_map** map_1,
    isl_map** map_2,
    isl_map** map_3
);

isl_map* expression_to_may_map(isl_ctx* ctx, const MultiExpression& expr, const Assumptions& assums);

std::optional<bool> decide_nonneg(const Expression& expr, const Assumptions& assums, bool strict);

ExpressionSet generate_constraints(SymbolSet& syms, const Assumptions& assums, SymbolSet& seen);

std::string constraint_to_isl_str(const Expression con);

std::string expression_to_isl_str(const Expression expr);

void canonicalize_map_dims(isl_map* map, const std::string& in_prefix, const std::string& out_prefix);
 
bool vectors_of_expressions_match(const std::vector<Expression>& a, const std::vector<Expression>& b);

bool vectors_of_expressions_match(
    const std::vector<Expression>& a, const std::vector<Expression>& b, const ExpressionMapping& replacements
);
 
} // namespace symbolic
} // namespace sdfg