update isl for isl_space_domain_factor_domain
[ppn.git] / dump_schedules.cc
blobde517ba248f15f31ff8a15c665cf72f4aba10305
1 #include <isl/map.h>
3 #include <isa/yaml.h>
4 #include <isa/pdg.h>
6 using namespace pdg;
8 int main(int argc, char * argv[])
10 PDG *pdg;
11 isl_ctx *ctx = isl_ctx_alloc();
12 pdg = PDG::Load(stdin, ctx);
14 for (int i = 0; i < pdg->nodes.size(); ++i) {
15 pdg::node *node = pdg->nodes[i];
16 isl_map *map = node->schedule->get_isl_map(ctx);
17 printf("node %d: ", node->nr);
18 isl_map_print(map, stdout, 0, ISL_FORMAT_ISL);
19 printf("\n");
20 isl_map_free(map);
23 pdg->free();
24 delete pdg;
25 isl_ctx_free(ctx);
27 return 0;