| /src/external/mit/isl/dist/ |
| bset_to_bmap.c | 4 * Internally, isl_basic_set is defined to isl_basic_map, so in practice,
7 static __isl_give isl_basic_map *bset_to_bmap(__isl_take isl_basic_set *bset)
9 return (isl_basic_map *) bset;
|
| isl_map_private.h | 13 #define isl_basic_set isl_basic_map
36 struct isl_basic_map { struct
103 isl_basic_map *cached_simple_hull[2];
112 struct isl_basic_map *p[1];
131 __isl_give isl_basic_map *isl_basic_map_alloc(isl_ctx *ctx,
134 __isl_give isl_basic_map *isl_basic_map_mark_final(
135 __isl_take isl_basic_map *bmap);
136 __isl_give isl_basic_map *isl_basic_map_finalize(
137 __isl_take isl_basic_map *bmap);
138 __isl_give isl_basic_map *isl_basic_map_extend_constraints
[all...] |
| bset_from_bmap.c | 5 static __isl_give isl_basic_set *bset_from_bmap(__isl_take isl_basic_map *bmap)
|
| isl_dim_map.h | 23 __isl_keep isl_basic_map *bmap, unsigned dst_pos);
27 __isl_give isl_basic_map *isl_basic_map_add_constraints_dim_map(
28 __isl_take isl_basic_map *dst, __isl_take isl_basic_map *src,
32 __isl_keep isl_basic_map *bmap);
|
| isl_map_list.c | 5 #define EL isl_basic_map
|
| isl_aff_map.c | 64 static __isl_give isl_basic_map *isl_basic_map_from_aff2(
71 isl_basic_map *bmap = NULL;
110 __isl_give isl_basic_map *isl_basic_map_from_aff(__isl_take isl_aff *aff)
120 isl_basic_map *bmap;
131 __isl_give isl_basic_map *isl_basic_map_from_multi_aff2(
137 isl_basic_map *bmap;
154 isl_basic_map *bmap_i;
176 static __isl_give isl_basic_map *basic_map_from_multi_aff(
186 __isl_give isl_basic_map *isl_basic_map_from_multi_aff(
214 isl_basic_map *bmap
[all...] |
| isl_map_simplify.c | 31 static void swap_equality(__isl_keep isl_basic_map *bmap, int a, int b)
38 static void swap_inequality(__isl_keep isl_basic_map *bmap, int a, int b)
47 __isl_give isl_basic_map *isl_basic_map_normalize_constraints(
48 __isl_take isl_basic_map *bmap)
110 isl_basic_map *bmap = bset_to_bmap(bset);
134 static __isl_give isl_basic_map *reduce_coefficient_in_div(
135 __isl_take isl_basic_map *bmap, int div, int pos)
160 static isl_bool needs_reduction(__isl_keep isl_basic_map *bmap, int div,
182 static __isl_give isl_basic_map *reduce_div_coefficients_of_div(
183 __isl_take isl_basic_map *bmap, int div
[all...] |
| isl_map.c | 58 * Internally, isl_basic_set is defined to isl_basic_map, so in practice,
61 static __isl_keep const isl_basic_map *const_bset_to_bmap(
64 return (const isl_basic_map *) bset;
68 #define TYPE isl_basic_map
81 isl_size isl_basic_map_dim(__isl_keep isl_basic_map *bmap,
145 isl_size isl_basic_map_var_offset(__isl_keep isl_basic_map *bmap,
176 unsigned isl_basic_map_offset(__isl_keep isl_basic_map *bmap,
231 isl_size isl_basic_map_total_dim(__isl_keep const isl_basic_map *bmap)
246 isl_size isl_basic_map_n_equality(__isl_keep isl_basic_map *bmap)
264 isl_size isl_basic_map_n_inequality(__isl_keep isl_basic_map *bmap
[all...] |
| isl_tab.h | 160 struct isl_basic_map *bmap;
191 __isl_keep isl_basic_map *bmap, int track);
197 __isl_give isl_basic_map *isl_basic_map_update_from_tab(
198 __isl_take isl_basic_map *bmap, struct isl_tab *tab);
202 __isl_give isl_basic_map *isl_tab_make_equalities_explicit(struct isl_tab *tab,
203 __isl_take isl_basic_map *bmap);
217 isl_stat isl_tab_track_bmap(struct isl_tab *tab, __isl_take isl_basic_map *bmap)
258 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
261 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
|
| isl_lp_private.h | 8 enum isl_lp_result isl_basic_map_solve_lp(__isl_keep isl_basic_map *bmap,
|
| isl_map_lexopt_templ.c | 32 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
40 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
48 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
87 __isl_take isl_basic_map *bmap, __isl_take isl_set *dom,
146 __isl_take isl_basic_map *bmap, unsigned flags)
152 __isl_give TYPE *SF(isl_basic_map_lexmin,SUFFIX)(__isl_take isl_basic_map *bmap)
|
| isl_dim_map.c | 98 __isl_keep isl_basic_map *bmap, unsigned dst_pos)
145 __isl_give isl_basic_map *isl_basic_map_add_constraints_dim_map(
146 __isl_take isl_basic_map *dst, __isl_take isl_basic_map *src,
196 __isl_keep isl_basic_map *bmap)
|
| isl_affine_hull.c | 32 __isl_give isl_basic_map *isl_basic_map_implicit_equalities(
33 __isl_take isl_basic_map *bmap)
855 __isl_take isl_basic_map *bmap)
903 __isl_give isl_basic_map *isl_basic_map_detect_equalities(
904 __isl_take isl_basic_map *bmap)
971 __isl_give isl_basic_map *isl_basic_map_plain_affine_hull(
972 __isl_take isl_basic_map *bmap)
994 __isl_give isl_basic_map *isl_basic_map_affine_hull(
995 __isl_take isl_basic_map *bmap)
1026 static __isl_give isl_basic_map *add_strides(__isl_take isl_basic_map *bmap
[all...] |
| isl_map_subtract.c | 50 __isl_keep isl_basic_map *bmap, int *div_map)
114 __isl_keep isl_basic_map *bmap, int *div_map, int c, int oppose)
171 __isl_keep isl_basic_map *bmap, int **div_map)
276 __isl_take isl_basic_map *bmap);
308 static isl_stat basic_map_collect_diff(__isl_take isl_basic_map *bmap,
360 struct isl_basic_map *bm;
486 __isl_take isl_basic_map *bmap)
499 static __isl_give isl_map *basic_map_subtract(__isl_take isl_basic_map *bmap,
656 __isl_take isl_basic_map *bmap)
670 static isl_bool basic_map_diff_is_empty(__isl_keep isl_basic_map *bmap
[all...] |
| isl_tab_lexopt_templ.c | 50 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
150 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
200 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
|
| isl_transitive_closure.c | 58 struct isl_basic_map *bmap;
228 struct isl_basic_map *path = NULL;
439 static isl_bool empty_path_is_identity(__isl_keep isl_basic_map *path,
442 isl_basic_map *test = NULL;
443 isl_basic_map *id = NULL;
461 static __isl_give isl_basic_map *add_delta_constraints(
462 __isl_take isl_basic_map *path,
578 isl_basic_map *path = NULL;
681 struct isl_basic_map *bmap;
947 __isl_take isl_set *dom, __isl_keep isl_basic_map *bmap
[all...] |
| isl_convex_hull.c | 51 __isl_give isl_basic_map *isl_basic_map_remove_redundancies(
52 __isl_take isl_basic_map *bmap)
829 isl_bool isl_basic_map_image_is_bounded(__isl_keep isl_basic_map *bmap)
1915 static __isl_give isl_basic_map *replace_map_by_empty_basic_map(
1930 __isl_give isl_basic_map *isl_map_convex_hull(__isl_take isl_map *map)
1933 struct isl_basic_map *model = NULL;
1935 struct isl_basic_map *convex_hull = NULL;
1980 __isl_give isl_basic_map *isl_map_polyhedral_hull(__isl_take isl_map *map)
1982 isl_basic_map *hull;
2376 static __isl_give isl_basic_map *map_simple_hull_trivial
[all...] |
| isl_constraint.c | 89 __isl_take isl_basic_map *bmap, isl_int **line)
189 isl_size isl_basic_map_n_constraint(__isl_keep isl_basic_map *bmap)
206 isl_stat isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap,
270 __isl_keep isl_basic_map *bmap)
320 __isl_give isl_basic_map *isl_basic_map_add_constraint(
321 __isl_take isl_basic_map *bmap, __isl_take isl_constraint *constraint)
355 isl_basic_map *bmap;
703 __isl_give isl_basic_map *isl_basic_map_from_constraint(
708 struct isl_basic_map *bmap;
764 __isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos
[all...] |
| isl_coalesce.c | 67 static int *eq_status_in(__isl_keep isl_basic_map *bmap_i,
101 static int *ineq_status_in(__isl_keep isl_basic_map *bmap_i,
198 isl_basic_map *bmap;
320 isl_basic_map *hull;
428 static __isl_give isl_basic_map *add_valid_constraints(
429 __isl_take isl_basic_map *bmap, struct isl_coalesce_info *info,
475 __isl_keep isl_basic_map *bmap, struct isl_tab *tab)
515 struct isl_basic_map *fused = NULL;
675 isl_basic_map *bmap = info->bmap;
858 static isl_bool is_affected(__isl_keep isl_basic_map *bmap, int ineq
[all...] |
| isl_output.c | 64 struct isl_basic_map *bmap, int ineq, int n, __isl_take isl_printer *p)
100 struct isl_basic_map *bmap, __isl_take isl_printer *p)
121 __isl_keep isl_basic_map *bmap, __isl_take isl_printer *p, int ext)
505 static isl_bool next_is_opposite(__isl_keep isl_basic_map *bmap, int i,
777 static __isl_give isl_printer *print_constraints(__isl_keep isl_basic_map *bmap,
993 static __isl_give isl_printer *print_disjunct(__isl_keep isl_basic_map *bmap,
1024 __isl_keep isl_basic_map *bmap, __isl_keep isl_space *space,
1037 __isl_keep isl_basic_map *bmap, __isl_take isl_printer *p)
1107 __isl_keep isl_basic_map *bmap, __isl_take isl_printer *p,
1155 __isl_keep isl_space *space, __isl_take isl_basic_map *hull
[all...] |
| isl_lp.c | 25 static enum isl_lp_result isl_tab_solve_lp(__isl_keep isl_basic_map *bmap,
66 enum isl_lp_result isl_basic_map_solve_lp(__isl_keep isl_basic_map *bmap,
|
| /src/external/mit/isl/dist/include/isl/ |
| map.h | 33 isl_size isl_basic_map_total_dim(__isl_keep const isl_basic_map *bmap);
34 isl_size isl_basic_map_dim(__isl_keep isl_basic_map *bmap,
43 isl_ctx *isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap);
45 __isl_give isl_space *isl_basic_map_get_space(__isl_keep isl_basic_map *bmap);
49 __isl_give isl_aff *isl_basic_map_get_div(__isl_keep isl_basic_map *bmap,
53 __isl_keep isl_basic_map *bmap);
55 __isl_give isl_basic_map *isl_basic_map_set_tuple_name(
56 __isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *s);
57 const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap,
65 const char *isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap
[all...] |
| map_type.h | 11 struct __isl_subclass(isl_map) isl_basic_map;
12 typedef struct isl_basic_map isl_basic_map; typedef in typeref:struct:isl_basic_map
|
| constraint.h | 42 isl_size isl_basic_map_n_constraint(__isl_keep isl_basic_map *bmap);
44 isl_stat isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap,
49 __isl_keep isl_basic_map *bmap);
61 __isl_give isl_basic_map *isl_basic_map_add_constraint(
62 __isl_take isl_basic_map *bmap, __isl_take isl_constraint *constraint);
71 __isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos,
123 __isl_give isl_basic_map *isl_basic_map_from_constraint(
|
| local_space.h | 82 __isl_give isl_basic_map *isl_local_space_lifting(
|
