add isl_schedule_intersect_domain
[isl.git] / isl_schedule_band.h
blob5cf30d41971a86e03f5d6f9755efad7d2eec7988
1 #ifndef ISL_SCHEDULE_BAND_H
2 #define ISL_SCHEDULE_BAND_H
4 #include <isl/aff.h>
5 #include <isl/union_map.h>
7 /* Information about a band within a schedule.
9 * n is the number of scheduling dimensions within the band.
10 * coincident is an array of length n, indicating whether a scheduling dimension
11 * satisfies the coincidence constraints in the sense that
12 * the corresponding dependence distances are zero.
13 * permutable is set if the band is permutable.
14 * mupa is the partial schedule corresponding to this band. The dimension
15 * of mupa is equal to n.
17 struct isl_schedule_band {
18 int ref;
20 int n;
21 int *coincident;
22 int permutable;
24 isl_multi_union_pw_aff *mupa;
26 typedef struct isl_schedule_band isl_schedule_band;
28 __isl_give isl_schedule_band *isl_schedule_band_from_multi_union_pw_aff(
29 __isl_take isl_multi_union_pw_aff *mupa);
30 __isl_give isl_schedule_band *isl_schedule_band_copy(
31 __isl_keep isl_schedule_band *band);
32 __isl_null isl_schedule_band *isl_schedule_band_free(
33 __isl_take isl_schedule_band *band);
35 isl_ctx *isl_schedule_band_get_ctx(__isl_keep isl_schedule_band *band);
37 int isl_schedule_band_plain_is_equal(__isl_keep isl_schedule_band *band1,
38 __isl_keep isl_schedule_band *band2);
40 __isl_give isl_space *isl_schedule_band_get_space(
41 __isl_keep isl_schedule_band *band);
42 __isl_give isl_multi_union_pw_aff *isl_schedule_band_get_partial_schedule(
43 __isl_keep isl_schedule_band *band);
45 int isl_schedule_band_n_member(__isl_keep isl_schedule_band *band);
46 int isl_schedule_band_member_get_coincident(
47 __isl_keep isl_schedule_band *band, int pos);
48 __isl_give isl_schedule_band *isl_schedule_band_member_set_coincident(
49 __isl_take isl_schedule_band *band, int pos, int coincident);
50 int isl_schedule_band_get_permutable(__isl_keep isl_schedule_band *band);
51 __isl_give isl_schedule_band *isl_schedule_band_set_permutable(
52 __isl_take isl_schedule_band *band, int permutable);
54 __isl_give isl_schedule_band *isl_schedule_band_scale(
55 __isl_take isl_schedule_band *band, __isl_take isl_multi_val *mv);
56 __isl_give isl_schedule_band *isl_schedule_band_scale_down(
57 __isl_take isl_schedule_band *band, __isl_take isl_multi_val *mv);
58 __isl_give isl_schedule_band *isl_schedule_band_tile(
59 __isl_take isl_schedule_band *band, __isl_take isl_multi_val *sizes);
60 __isl_give isl_schedule_band *isl_schedule_band_point(
61 __isl_take isl_schedule_band *band, __isl_keep isl_schedule_band *tile,
62 __isl_take isl_multi_val *sizes);
63 __isl_give isl_schedule_band *isl_schedule_band_drop(
64 __isl_take isl_schedule_band *band, int pos, int n);
65 __isl_give isl_schedule_band *isl_schedule_band_gist(
66 __isl_take isl_schedule_band *band, __isl_take isl_union_set *context);
68 __isl_give isl_schedule_band *isl_schedule_band_reset_user(
69 __isl_take isl_schedule_band *band);
70 __isl_give isl_schedule_band *isl_schedule_band_align_params(
71 __isl_take isl_schedule_band *band, __isl_take isl_space *space);
72 __isl_give isl_schedule_band *isl_schedule_band_pullback_union_pw_multi_aff(
73 __isl_take isl_schedule_band *band,
74 __isl_take isl_union_pw_multi_aff *upma);
76 #endif