#include <isl_band_private.h>
#include <isl_schedule_private.h>
+#include <isl_list_private.h>
isl_ctx *isl_band_get_ctx(__isl_keep isl_band *band)
{
isl_union_map_free(band->map);
isl_band_list_free(band->children);
- free(band->parallel);
+ free(band->zero);
free(band);
return NULL;
if (!band->children)
isl_die(isl_band_get_ctx(band), isl_error_invalid,
"band has no children", return NULL);
- return isl_band_list_copy(band->children);
+ return isl_band_list_dup(band->children);
}
int isl_band_n_member(__isl_keep isl_band *band)
return band ? band->n : 0;
}
-/* Is the given scheduling dimension parallel within the band and
+/* Is the given scheduling dimension zero distance within the band and
* with respect to the proximity dependences.
*/
-int isl_band_member_is_parallel(__isl_keep isl_band *band, int pos)
+int isl_band_member_is_zero_distance(__isl_keep isl_band *band, int pos)
{
if (!band)
return -1;
isl_die(isl_band_get_ctx(band), isl_error_invalid,
"invalid member position", return -1);
- return band->parallel[pos];
+ return band->zero[pos];
}
/* Return the schedule that leads up to this band.
return p;
}
-
-void isl_band_dump(__isl_keep isl_band *band)
-{
- isl_printer *printer;
-
- if (!band)
- return;
-
- printer = isl_printer_to_file(isl_band_get_ctx(band), stderr);
- printer = isl_printer_print_band(printer, band);
- printer = isl_printer_end_line(printer);
-
- isl_printer_free(printer);
-}