closure.c

   1 #include <isl_map.h>
   2
   3 int main(int argc, char **argv)
   4 {
   5         struct isl_ctx *ctx;
   6         struct isl_map *map;
   7         int exact;
   8
   9         ctx = isl_ctx_alloc();
  10
  11         map = isl_map_read_from_file(ctx, stdin, -1);
  12         map = isl_map_transitive_closure(map, &exact);
  13         if (!exact)
  14                 printf("# NOT exact\n");
  15         isl_map_print(map, stdout, 0, ISL_FORMAT_ISL);
  16         printf("\n");
  17         map = isl_map_compute_divs(map);
  18         map = isl_map_coalesce(map);
  19         printf("# coalesced\n");
  20         isl_map_print(map, stdout, 0, ISL_FORMAT_ISL);
  21         printf("\n");
  22         isl_map_free(map);
  23
  24         isl_ctx_free(ctx);
  25
  26         return 0;
  27 }