| /llvm-project/polly/lib/External/isl/ |
| H A D | isl_map_simplify.c | 31 static void swap_equality(__isl_keep isl_basic_map *bmap, int a, int b) in swap_equality() argument
33 isl_int *t = bmap->eq[a]; in swap_equality()
34 bmap->eq[a] = bmap->eq[b]; in swap_equality()
35 bmap->eq[b] = t; in swap_equality()
38 static void swap_inequality(__isl_keep isl_basic_map *bmap, int a, int b) in swap_inequality() argument
41 isl_int *t = bmap->ineq[a]; in swap_inequality()
42 bmap->ineq[a] = bmap->ineq[b]; in swap_inequality()
43 bmap->ineq[b] = t; in swap_inequality()
48 __isl_take isl_basic_map *bmap) in isl_basic_map_normalize_constraints() argument
52 isl_size total = isl_basic_map_dim(bmap, isl_dim_all); in isl_basic_map_normalize_constraints()
[all …]
|
| H A D | isl_map.c | 80 isl_size isl_basic_map_dim(__isl_keep isl_basic_map *bmap, in isl_basic_map_dim() argument
83 if (!bmap) in isl_basic_map_dim()
89 case isl_dim_out: return isl_space_dim(bmap->dim, type); in isl_basic_map_dim()
90 case isl_dim_div: return bmap->n_div; in isl_basic_map_dim()
91 case isl_dim_all: return isl_basic_map_total_dim(bmap); in isl_basic_map_dim()
144 isl_size isl_basic_map_var_offset(__isl_keep isl_basic_map *bmap, in isl_basic_map_var_offset() argument
149 space = isl_basic_map_peek_space(bmap); in isl_basic_map_var_offset()
160 isl_die(isl_basic_map_get_ctx(bmap), isl_error_invalid, in isl_basic_map_var_offset()
177 unsigned isl_basic_map_offset(__isl_keep isl_basic_map *bmap, in isl_basic_map_offset() argument
185 case isl_dim_div: return 1 + isl_basic_map_var_offset(bmap, type); in isl_basic_map_offset()
[all …]
|
| H A D | isl_tab_lexopt_templ.c | 50 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in SF()
62 map_space = isl_basic_map_get_space(bmap); in SF()
65 bmap_in = isl_basic_map_dim(bmap, isl_dim_in); in SF()
66 bmap_param = isl_basic_map_dim(bmap, isl_dim_param); in SF()
67 bmap_all = isl_basic_map_dim(bmap, isl_dim_all); in SF()
73 ctx = isl_basic_map_get_ctx(bmap); in SF()
74 list = isl_alloc_array(ctx, int, bmap->n_ineq); in SF()
76 if ((bmap->n_ineq && !list) || (n_out && !var)) in SF()
81 isl_seq_cpy(var->el, bmap->ineq[first] + 1 + n_in, n_out); in SF()
82 for (i = second + 1, n = 2; i < bmap->n_ineq; ++i) { in SF()
[all …]
|
| H A D | isl_map_subtract.c | 50 __isl_keep isl_basic_map *bmap, int *div_map) in tab_add_constraints() argument
59 if (!tab || !bmap) in tab_add_constraints()
62 tab_total = isl_basic_map_dim(tab->bmap, isl_dim_all); in tab_add_constraints()
63 bmap_total = isl_basic_map_dim(bmap, isl_dim_all); in tab_add_constraints()
64 bmap_n_div = isl_basic_map_dim(bmap, isl_dim_div); in tab_add_constraints()
69 if (isl_tab_extend_cons(tab, 2 * bmap->n_eq + bmap->n_ineq) < 0) in tab_add_constraints()
72 v = isl_vec_alloc(bmap->ctx, 1 + tab_total); in tab_add_constraints()
76 for (i = 0; i < bmap->n_eq; ++i) { in tab_add_constraints()
77 expand_constraint(v, dim, bmap->eq[i], div_map, bmap_n_div); in tab_add_constraints()
80 isl_seq_neg(bmap->eq[i], bmap->eq[i], 1 + bmap_total); in tab_add_constraints()
[all …]
|
| H A D | isl_coalesce.c | 198 isl_basic_map *bmap; member
216 n_eq = isl_basic_map_n_equality(info->bmap); in any_eq()
228 n_ineq = isl_basic_map_n_inequality(info->bmap); in any_ineq()
243 n_eq = isl_basic_map_n_equality(info->bmap); in find_eq()
256 n_ineq = isl_basic_map_n_inequality(info->bmap); in find_ineq()
268 n_eq = isl_basic_map_n_equality(info->bmap); in count_eq()
280 n_ineq = isl_basic_map_n_inequality(info->bmap); in count_ineq()
291 for (i = 0; i < 2 * info->bmap->n_eq; ++i) { in all_valid_or_cut()
301 for (i = 0; i < info->bmap->n_ineq; ++i) { in all_valid_or_cut()
323 hull = isl_basic_map_copy(info->bmap); in coalesce_info_set_hull_hash()
[all …]
|
| H A D | isl_affine_hull.c | 33 __isl_take isl_basic_map *bmap) in isl_basic_map_implicit_equalities() argument
37 if (!bmap) in isl_basic_map_implicit_equalities()
38 return bmap; in isl_basic_map_implicit_equalities()
40 bmap = isl_basic_map_gauss(bmap, NULL); in isl_basic_map_implicit_equalities()
41 if (ISL_F_ISSET(bmap, ISL_BASIC_MAP_EMPTY)) in isl_basic_map_implicit_equalities()
42 return bmap; in isl_basic_map_implicit_equalities()
43 if (ISL_F_ISSET(bmap, ISL_BASIC_MAP_NO_IMPLICIT)) in isl_basic_map_implicit_equalities()
44 return bmap; in isl_basic_map_implicit_equalities()
45 if (bmap->n_ineq <= 1) in isl_basic_map_implicit_equalities()
46 return bmap; in isl_basic_map_implicit_equalities()
[all …]
|
| H A D | isl_map_private.h | 135 __isl_take isl_basic_map *bmap);
137 __isl_take isl_basic_map *bmap);
141 __isl_take isl_basic_map *bmap);
147 __isl_take isl_basic_map *bmap);
158 __isl_give isl_basic_map *isl_basic_map_reset(__isl_take isl_basic_map *bmap,
164 __isl_keep const isl_basic_map *bmap);
172 __isl_take isl_basic_map *bmap, __isl_take isl_space *space);
178 isl_size isl_basic_map_var_offset(__isl_keep isl_basic_map *bmap,
182 unsigned isl_basic_map_offset(__isl_keep isl_basic_map *bmap,
187 isl_bool isl_basic_map_may_be_set(__isl_keep isl_basic_map *bmap);
[all …]
|
| H A D | isl_aff_map.c | 71 isl_basic_map *bmap = NULL; in isl_basic_map_from_aff2() local
83 bmap = isl_basic_map_from_local_space(ls); in isl_basic_map_from_aff2()
84 bmap = isl_basic_map_extend_constraints(bmap, 1, 0); in isl_basic_map_from_aff2()
85 k = isl_basic_map_alloc_equality(bmap); in isl_basic_map_from_aff2()
89 pos = isl_basic_map_offset(bmap, isl_dim_out); in isl_basic_map_from_aff2()
90 isl_seq_cpy(bmap->eq[k], aff->v->el + 1, pos); in isl_basic_map_from_aff2()
91 isl_int_neg(bmap->eq[k][pos], aff->v->el[0]); in isl_basic_map_from_aff2()
92 isl_seq_cpy(bmap->eq[k] + pos + 1, aff->v->el + 1 + pos, in isl_basic_map_from_aff2()
97 bmap = isl_basic_map_set_rational(bmap); in isl_basic_map_from_aff2()
98 bmap = isl_basic_map_gauss(bmap, NULL); in isl_basic_map_from_aff2()
[all …]
|
| H A D | isl_map_lexopt_templ.c | 32 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in SF()
35 return SF(isl_tab_basic_map_partial_lexopt,SUFFIX)(bmap, dom, empty, in SF()
40 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in SF()
44 return SF(isl_basic_map_partial_lexopt,SUFFIX)(bmap, dom, empty, flags); in SF()
48 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in SF()
52 return SF(isl_basic_map_partial_lexopt,SUFFIX)(bmap, dom, empty, flags); in SF()
87 __isl_take isl_basic_map *bmap, __isl_take isl_set *dom, in SF()
95 return SF(isl_basic_map_partial_lexopt,SUFFIX)(bmap, NULL, in SF()
103 isl_space *space = isl_basic_map_get_space(bmap); in SF()
108 isl_basic_map_free(bmap); in SF()
[all …]
|
| H A D | isl_constraint.c | 89 __isl_take isl_basic_map *bmap, isl_int **line) in isl_basic_map_constraint() argument
98 if (!bmap || !line) in isl_basic_map_constraint()
101 eq = line >= bmap->eq; in isl_basic_map_constraint()
103 ctx = isl_basic_map_get_ctx(bmap); in isl_basic_map_constraint()
104 ls = isl_basic_map_get_local_space(bmap); in isl_basic_map_constraint()
114 isl_basic_map_free(bmap); in isl_basic_map_constraint()
118 isl_basic_map_free(bmap); in isl_basic_map_constraint()
189 isl_size isl_basic_map_n_constraint(__isl_keep isl_basic_map *bmap) in isl_basic_map_n_constraint() argument
191 if (!bmap) in isl_basic_map_n_constraint()
194 return bmap->n_eq + bmap->n_ineq; in isl_basic_map_n_constraint()
[all …]
|
| H A D | isl_output.c | 64 struct isl_basic_map *bmap, int ineq, int n, __isl_take isl_printer *p) in print_constraint_polylib() argument
67 isl_size n_in = isl_basic_map_dim(bmap, isl_dim_in); in print_constraint_polylib()
68 isl_size n_out = isl_basic_map_dim(bmap, isl_dim_out); in print_constraint_polylib()
69 isl_size nparam = isl_basic_map_dim(bmap, isl_dim_param); in print_constraint_polylib()
70 isl_int *c = ineq ? bmap->ineq[n] : bmap->eq[n]; in print_constraint_polylib()
85 for (i = 0; i < bmap->n_div; ++i) { in print_constraint_polylib()
100 struct isl_basic_map *bmap, __isl_take isl_printer *p) in print_constraints_polylib() argument
106 for (i = 0; i < bmap->n_eq; ++i) in print_constraints_polylib()
107 p = print_constraint_polylib(bmap, 0, i, p); in print_constraints_polylib()
108 for (i = 0; i < bmap->n_ineq; ++i) in print_constraints_polylib()
[all …]
|
| H A D | isl_tab_pip.c | 810 isl_basic_map *bmap; in sol_map_add() local
815 bmap = isl_basic_map_from_multi_aff2(ma, sol->sol.rational); in sol_map_add()
816 bmap = isl_basic_map_intersect_domain(bmap, dom); in sol_map_add()
818 sol->map = isl_map_add_basic_map(sol->map, bmap); in sol_map_add()
1635 if (tab->bmap) { in add_lexmin_eq()
1636 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); in add_lexmin_eq()
1640 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); in add_lexmin_eq()
1644 if (!tab->bmap) in add_lexmin_eq()
1663 if (tab->bmap) { in add_lexmin_ineq()
1664 tab->bmap = isl_basic_map_add_ineq(tab->bmap, ineq); in add_lexmin_ineq()
[all …]
|
| H A D | isl_transitive_closure.c | 58 struct isl_basic_map *bmap; in set_path_length() local
74 bmap = isl_basic_map_alloc_space(space, 0, 1, 1); in set_path_length()
76 k = isl_basic_map_alloc_equality(bmap); in set_path_length()
79 c = bmap->eq[k]; in set_path_length()
81 k = isl_basic_map_alloc_inequality(bmap); in set_path_length()
84 c = bmap->ineq[k]; in set_path_length()
91 bmap = isl_basic_map_finalize(bmap); in set_path_length()
92 map = isl_map_intersect(map, isl_map_from_basic_map(bmap)); in set_path_length()
96 isl_basic_map_free(bmap); in set_path_length()
681 struct isl_basic_map *bmap; in equate_parameter_to_length() local
[all …]
|
| H A D | isl_tab.c | 211 isl_basic_map_free(tab->bmap); in isl_tab_free()
1904 if (tab->bmap) { in isl_tab_add_ineq()
1905 struct isl_basic_map *bmap = tab->bmap; in isl_tab_add_ineq() local
1907 isl_assert(tab->mat->ctx, tab->n_eq == bmap->n_eq, in isl_tab_add_ineq()
1910 tab->n_con == bmap->n_eq + bmap->n_ineq, in isl_tab_add_ineq()
1912 tab->bmap = isl_basic_map_add_ineq(tab->bmap, ineq); in isl_tab_add_ineq()
1915 if (!tab->bmap) in isl_tab_add_ineq()
2145 if (tab->bmap) { in isl_tab_add_eq()
2146 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); in isl_tab_add_eq()
2150 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); in isl_tab_add_eq()
[all …]
|
| H A D | isl_dim_map.c | 98 __isl_keep isl_basic_map *bmap, unsigned dst_pos) in isl_dim_map_div() argument
103 if (!dim_map || !bmap) in isl_dim_map_div()
106 src_pos = isl_basic_map_offset(bmap, isl_dim_div); in isl_dim_map_div()
107 for (i = 0; i < bmap->n_div; ++i) { in isl_dim_map_div()
196 __isl_keep isl_basic_map *bmap) in isl_dim_map_extend() argument
205 offset = isl_basic_map_offset(bmap, isl_dim_div); in isl_dim_map_extend()
207 res = isl_dim_map_alloc(bmap->ctx, dim_map->len - 1 + bmap->n_div); in isl_dim_map_extend()
213 for (i = 0; i < bmap->n_div; ++i) { in isl_dim_map_extend()
|
| H A D | isl_lp.c | 25 static enum isl_lp_result isl_tab_solve_lp(__isl_keep isl_basic_map *bmap, in isl_tab_solve_lp() argument
31 isl_size dim = isl_basic_map_dim(bmap, isl_dim_all); in isl_tab_solve_lp()
38 bmap = isl_basic_map_gauss(bmap, NULL); in isl_tab_solve_lp()
39 tab = isl_tab_from_basic_map(bmap, 0); in isl_tab_solve_lp()
66 enum isl_lp_result isl_basic_map_solve_lp(__isl_keep isl_basic_map *bmap, in isl_basic_map_solve_lp() argument
73 if (!bmap) in isl_basic_map_solve_lp()
76 return isl_tab_solve_lp(bmap, max, f, d, opt, opt_denom, sol); in isl_basic_map_solve_lp()
|
| H A D | isl_tab.h | 160 struct isl_basic_map *bmap; member
191 __isl_keep isl_basic_map *bmap, int track);
198 __isl_take isl_basic_map *bmap, 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,
|
| H A D | bset_from_bmap.c | 5 static __isl_give isl_basic_set *bset_from_bmap(__isl_take isl_basic_map *bmap) in bset_from_bmap() argument
7 return (isl_basic_set *) bmap; in bset_from_bmap()
|
| H A D | isl_input.c | 2267 static isl_size polylib_pos_to_isl_pos(__isl_keep isl_basic_map *bmap, int pos) in polylib_pos_to_isl_pos() argument
2271 n_param = isl_basic_map_dim(bmap, isl_dim_param); in polylib_pos_to_isl_pos()
2272 n_in = isl_basic_map_dim(bmap, isl_dim_in); in polylib_pos_to_isl_pos()
2273 n_out = isl_basic_map_dim(bmap, isl_dim_out); in polylib_pos_to_isl_pos()
2274 n_div = isl_basic_map_dim(bmap, isl_dim_div); in polylib_pos_to_isl_pos()
2297 __isl_keep isl_stream *s, __isl_take isl_basic_map *bmap) in basic_map_read_polylib_constraint() argument
2306 if (!bmap) in basic_map_read_polylib_constraint()
2326 k = isl_basic_map_alloc_equality(bmap); in basic_map_read_polylib_constraint()
2327 c = bmap->eq[k]; in basic_map_read_polylib_constraint()
2329 k = isl_basic_map_alloc_inequality(bmap); in basic_map_read_polylib_constraint()
[all …]
|
| H A D | isl_local_space.c | 750 static int bmap_cmp_row(__isl_keep isl_basic_map *bmap, int i, int j, in bmap_cmp_row() argument
753 return cmp_row(bmap->div[i], bmap->div[j], i, j, bmap->n_div, total); in bmap_cmp_row()
763 __isl_take isl_basic_map *bmap) in isl_basic_map_sort_divs() argument
768 bmap = isl_basic_map_order_divs(bmap); in isl_basic_map_sort_divs()
769 if (!bmap) in isl_basic_map_sort_divs()
771 if (bmap->n_div <= 1) in isl_basic_map_sort_divs()
772 return bmap; in isl_basic_map_sort_divs()
774 total = isl_basic_map_dim(bmap, isl_dim_all); in isl_basic_map_sort_divs()
776 return isl_basic_map_free(bmap); in isl_basic_map_sort_divs()
777 for (i = 1; i < bmap->n_div; ++i) { in isl_basic_map_sort_divs()
[all …]
|
| H A D | isl_convex_hull.c | 52 __isl_take isl_basic_map *bmap) in isl_basic_map_remove_redundancies() argument
56 if (!bmap) in isl_basic_map_remove_redundancies()
59 bmap = isl_basic_map_gauss(bmap, NULL); in isl_basic_map_remove_redundancies()
60 if (ISL_F_ISSET(bmap, ISL_BASIC_MAP_EMPTY)) in isl_basic_map_remove_redundancies()
61 return bmap; in isl_basic_map_remove_redundancies()
62 if (ISL_F_ISSET(bmap, ISL_BASIC_MAP_NO_REDUNDANT)) in isl_basic_map_remove_redundancies()
63 return bmap; in isl_basic_map_remove_redundancies()
64 if (bmap->n_ineq <= 1) in isl_basic_map_remove_redundancies()
65 return bmap; in isl_basic_map_remove_redundancies()
67 bmap = isl_basic_map_sort_constraints(bmap); in isl_basic_map_remove_redundancies()
[all …]
|
| H A D | isl_dim_map.h | 23 __isl_keep isl_basic_map *bmap, unsigned dst_pos);
32 __isl_keep isl_basic_map *bmap);
|
| /llvm-project/polly/lib/External/isl/include/isl/ |
| H A D | 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);
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,
72 __isl_take isl_basic_map *bmap,
[all …]
|
| H A D | 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);
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,
|
| /llvm-project/clang/test/Analysis/ |
| H A D | retain-release-inline.m | 305 …sic_map *isl_basic_map_cow(__attribute__((annotate("rc_ownership_consumed"))) isl_basic_map *bmap);
308 …ng_leak(__attribute__((annotate("rc_ownership_consumed"))) isl_basic_map *bmap) { // expected-warn…
314 // count of 'bmap' along the path in 'isl_basic_map_free' assuming the predicate of the second 'if'…
316 …c_map *isl_basic_map_free(__attribute__((annotate("rc_ownership_consumed"))) isl_basic_map *bmap) {
317 if (!bmap)
320 if (--bmap->ref > 0)
323 free(bmap);
331 …nnotate("rc_ownership_returns_retained"))) isl_basic_map *isl_basic_map_copy(isl_basic_map *bmap) {
332 if (!bmap)
335 bmap->ref++;
[all …]
|