schedule_isl_conversion.h

Go to the documentation of this file.

#pragma once

#include <memory>
#include <vector>

#include <glog/logging.h>

#include "tc/core/polyhedral/schedule_tree.h"
#include "tc/core/polyhedral/schedule_tree_elem.h"
#include "tc/external/isl.h"

namespace tc {
namespace polyhedral {
namespace detail {

isl::schedule toIslSchedule(const ScheduleTree* root_);

std::unique_ptr<ScheduleTree> fromIslSchedule(isl::schedule schedule);
bool validateSchedule(const ScheduleTree* st);
bool validateSchedule(isl::schedule schedule);
void checkValidIslSchedule(const detail::ScheduleTree* root_);
} // namespace detail
} // namespace polyhedral
} // namespace tc