| /llvm-project-15.0.7/polly/lib/External/isl/ |
| H A D | isl_map_simplify.c | 34 bmap->eq[a] = bmap->eq[b]; in swap_equality()
42 bmap->ineq[a] = bmap->ineq[b]; in swap_inequality()
62 bmap = isl_basic_map_set_to_empty(bmap); in isl_basic_map_normalize_constraints()
74 bmap = isl_basic_map_set_to_empty(bmap); in isl_basic_map_normalize_constraints()
444 bmap = eliminate_div(bmap, bmap->eq[i], d, 1); in eliminate_divs_eq()
830 if (!bmap || bmap->n_div <= 1) in remove_duplicate_divs()
1095 isl_seq_neg(bmap->eq[j], bmap->div[k]+1, 1+v_div+bmap->n_div); in normalize_divs()
1732 bmap = isl_basic_map_cow(bmap); in isl_basic_map_eliminate_vars()
4744 bmap = isl_basic_map_cow(bmap); in set_eq_and_try_again()
5174 bmap = isl_basic_map_cow(bmap); in isl_basic_map_preimage_vars()
[all …]
|
| H A D | isl_map.c | 1448 bmap->n_div, bmap->n_eq, bmap->n_ineq); in isl_basic_map_dup()
1648 isl_assert(ctx, (bmap->eq - bmap->ineq) + bmap->n_eq <= bmap->c_size, in isl_basic_map_alloc_equality()
1654 if ((bmap->eq - bmap->ineq) + bmap->n_eq == bmap->c_size) { in isl_basic_map_alloc_equality()
1660 bmap->ineq[j] = bmap->ineq[bmap->n_ineq - 1]; in isl_basic_map_alloc_equality()
1661 bmap->ineq[bmap->n_ineq - 1] = bmap->eq[-1]; in isl_basic_map_alloc_equality()
1733 bmap->ineq[bmap->n_ineq - 1] = bmap->eq[-1]; in isl_basic_map_inequality_to_equality()
3413 bmap->extra, bmap->flags, bmap->dim->n_id); in isl_basic_map_print_internal()
4111 bmap->n_div, bmap->n_eq, bmap->n_ineq); in isl_basic_map_insert_dims()
4299 bmap->n_div, bmap->n_eq, bmap->n_ineq); in isl_basic_map_move_dims()
4434 bmap->n_div, bmap->n_eq, bmap->n_ineq); in move_last()
[all …]
|
| H A D | isl_tab_lexopt_templ.c | 95 bmap = isl_basic_map_cow(bmap); in SF()
96 if (!bmap) in SF()
102 bmap = isl_basic_map_add_dims(bmap, isl_dim_in, 1); in SF()
103 bmap = isl_basic_map_extend_constraints(bmap, 0, 1); in SF()
110 bmap = isl_basic_map_finalize(bmap); in SF()
136 isl_basic_map_free(bmap); in SF()
156 if (!bmap) in SF()
171 isl_basic_map_free(bmap); in SF()
225 bmap = isl_basic_map_intersect_domain(bmap, in SF()
227 bmap = isl_basic_map_detect_equalities(bmap); in SF()
[all …]
|
| H A D | isl_map_subtract.c | 80 isl_seq_neg(bmap->eq[i], bmap->eq[i], 1 + bmap_total); in tab_add_constraints()
84 isl_seq_neg(bmap->eq[i], bmap->eq[i], 1 + bmap_total); in tab_add_constraints()
139 isl_seq_neg(bmap->eq[c/2], bmap->eq[c/2], in tab_add_constraint()
142 isl_int_sub_ui(bmap->eq[c/2][0], bmap->eq[c/2][0], 1); in tab_add_constraint()
148 isl_seq_neg(bmap->eq[c/2], bmap->eq[c/2], in tab_add_constraint()
153 isl_seq_neg(bmap->ineq[c], bmap->ineq[c], in tab_add_constraint()
161 isl_seq_neg(bmap->ineq[c], bmap->ineq[c], in tab_add_constraint()
178 if (!bmap) in tab_add_divs()
331 bmap = isl_basic_map_cow(bmap); in basic_map_collect_diff()
346 bmap = isl_basic_map_order_divs(bmap); in basic_map_collect_diff()
[all …]
|
| H A D | isl_coalesce.c | 358 info->bmap = isl_basic_map_free(info->bmap); in clear()
527 n_eq = info[i].bmap->n_eq + info[j].bmap->n_eq; in fuse()
675 isl_basic_map *bmap = info->bmap; in contains() local
1348 isl_basic_map *bmap = info->bmap; in add_selected_wraps() local
1477 bmap = isl_basic_map_copy(bmap); in set_from_updated_bmap()
2766 info1->bmap, i, info2->bmap, i); in harmonize_stride_divs()
2934 if (!info1->bmap || !info2->bmap) in harmonize_divs()
3164 info->bmap = bmap; in tab_insert_divs()
3363 bmap = isl_basic_map_copy(bmap); in coalesce_with_expanded_divs()
3365 bmap = isl_basic_map_mark_final(bmap); in coalesce_with_expanded_divs()
[all …]
|
| H A D | isl_affine_hull.c | 37 if (!bmap) in isl_basic_map_implicit_equalities()
40 bmap = isl_basic_map_gauss(bmap, NULL); in isl_basic_map_implicit_equalities()
51 bmap = isl_basic_map_update_from_tab(bmap, tab); in isl_basic_map_implicit_equalities()
53 bmap = isl_basic_map_gauss(bmap, NULL); in isl_basic_map_implicit_equalities()
942 bmap = isl_basic_map_simplify(bmap); in isl_basic_map_detect_equalities()
974 bmap = isl_basic_map_cow(bmap); in isl_basic_map_plain_affine_hull()
977 bmap = isl_basic_map_finalize(bmap); in isl_basic_map_plain_affine_hull()
1105 bmap = isl_basic_map_sort_divs(bmap); in isl_basic_map_make_strides_explicit()
1106 bmap = isl_basic_map_gauss(bmap, NULL); in isl_basic_map_make_strides_explicit()
1135 bmap = add_strides(bmap, M, n_known); in isl_basic_map_make_strides_explicit()
[all …]
|
| H A D | isl_aff_map.c | 84 bmap = isl_basic_map_extend_constraints(bmap, 1, 0); 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()
99 bmap = isl_basic_map_finalize(bmap); in isl_basic_map_from_aff2()
100 return bmap; in isl_basic_map_from_aff2()
120 isl_basic_map *bmap; in isl_map_from_aff() local
150 bmap = isl_basic_map_set_rational(bmap); in isl_basic_map_from_multi_aff2()
159 bmap = isl_basic_map_flat_range_product(bmap, bmap_i); in isl_basic_map_from_multi_aff2()
165 return bmap; in isl_basic_map_from_multi_aff2()
285 bmap = isl_basic_map_flat_range_product(bmap, bmap_i); in isl_basic_map_from_aff_list()
[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);
269 __isl_take isl_basic_map *bmap);
275 __isl_take isl_basic_map *bmap);
287 __isl_take isl_basic_map *bmap);
300 __isl_take isl_basic_map *bmap);
308 __isl_take isl_basic_map *bmap);
312 __isl_take isl_basic_map *bmap);
[all …]
|
| H A D | isl_map_lexopt_templ.c | 32 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in SF()
40 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, 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()
121 isl_basic_map_copy(bmap), in SF()
132 isl_basic_map_free(bmap); in SF()
138 isl_basic_map_free(bmap); in SF()
146 __isl_take isl_basic_map *bmap, unsigned flags) in SF()
[all …]
|
| H A D | isl_constraint.c | 98 if (!bmap || !line) in isl_basic_map_constraint()
191 if (!bmap) in isl_basic_map_n_constraint()
194 return bmap->n_eq + bmap->n_ineq; in isl_basic_map_n_constraint()
212 if (!bmap) in isl_basic_map_foreach_constraint()
215 isl_assert(bmap->ctx, ISL_F_ISSET(bmap, ISL_BASIC_MAP_FINAL), in isl_basic_map_foreach_constraint()
220 &bmap->eq[i]); in isl_basic_map_foreach_constraint()
336 bmap = isl_basic_map_intersect(bmap, in isl_basic_map_add_constraint()
338 return bmap; in isl_basic_map_add_constraint()
717 bmap = isl_basic_map_extend_constraints(bmap, 1, 1); in isl_basic_map_from_constraint()
735 if (bmap) in isl_basic_map_from_constraint()
[all …]
|
| H A D | isl_tab_pip.c | 816 bmap = isl_basic_map_intersect_domain(bmap, dom); in sol_map_add()
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()
1664 tab->bmap = isl_basic_map_add_ineq(tab->bmap, ineq); in add_lexmin_ineq()
2312 tab = isl_tab_alloc(bmap->ctx, 2 * bmap->n_eq + bmap->n_ineq + 1, in tab_for_lexmin()
3709 if (!bmap) in sol_map_init()
4382 bmap = isl_basic_map_cow(bmap); in align_context_divs()
4390 bmap = isl_basic_map_free(bmap); in align_context_divs()
4431 bmap = align_context_divs(bmap, dom); in basic_map_partial_lexopt_base_sol()
4497 if (!bmap) in count_occurrences()
[all …]
|
| H A D | isl_output.c | 70 isl_int *c = ineq ? bmap->ineq[n] : bmap->eq[n]; in print_constraint_polylib()
129 p = isl_printer_print_int(p, bmap->n_eq + bmap->n_ineq); in isl_basic_map_print_polylib()
791 bmap = isl_basic_map_copy(bmap); in print_constraints()
794 bmap = isl_basic_map_sort_constraints(bmap); in print_constraints()
795 if (!bmap) in print_constraints()
1117 p = print_disjunct(bmap, bmap->dim, p, latex); in isl_basic_map_print_isl()
1267 bmap = isl_basic_map_cow(bmap); in get_aff()
1270 bmap = isl_basic_map_free_inequality(bmap, bmap->n_ineq); in get_aff()
1289 bmap = isl_basic_map_finalize(bmap); in get_aff()
1351 bmap = isl_basic_map_cow(bmap); in split_aff()
[all …]
|
| H A D | isl_transitive_closure.c | 79 c = bmap->eq[k]; in set_path_length()
84 c = bmap->ineq[k]; in set_path_length()
91 bmap = isl_basic_map_finalize(bmap); in set_path_length()
96 isl_basic_map_free(bmap); in set_path_length()
708 bmap = isl_basic_map_finalize(bmap); in equate_parameter_to_length()
1490 isl_basic_map *bmap; in increment() local
1503 isl_int_set_si(bmap->eq[k][isl_basic_map_offset(bmap, isl_dim_in)], 1); in increment()
1504 isl_int_set_si(bmap->eq[k][isl_basic_map_offset(bmap, isl_dim_out)], -1); in increment()
2269 bmap = isl_basic_map_finalize(bmap); in box_closure_on_domain()
2899 isl_basic_map *bmap; in deltas_map() local
[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_tab.c | 1905 struct isl_basic_map *bmap = tab->bmap; in isl_tab_add_ineq() local
1910 tab->n_con == bmap->n_eq + bmap->n_ineq, in isl_tab_add_ineq()
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()
2637 bmap = isl_basic_map_set_to_empty(bmap); in isl_basic_map_update_from_tab()
2646 bmap = isl_basic_map_gauss(bmap, NULL); in isl_basic_map_update_from_tab()
3226 bmap = gauss_if_shared(bmap, tab); in isl_tab_make_equalities_explicit()
4142 bmap = isl_basic_map_cow(bmap); in isl_tab_track_bmap()
4147 bmap = isl_basic_map_set_to_empty(bmap); in isl_tab_track_bmap()
4150 tab->bmap = bmap; in isl_tab_track_bmap()
[all …]
|
| H A D | isl_lp.c | 25 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 | 159 struct isl_basic_map *bmap; member
190 __isl_keep isl_basic_map *bmap, int track);
197 __isl_take isl_basic_map *bmap, struct isl_tab *tab);
202 __isl_take isl_basic_map *bmap);
216 isl_stat isl_tab_track_bmap(struct isl_tab *tab, __isl_take isl_basic_map *bmap)
257 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
260 __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_dim_map.h | 23 __isl_keep isl_basic_map *bmap, unsigned dst_pos);
32 __isl_keep isl_basic_map *bmap);
|
| H A D | isl_local_space.c | 677 return cmp_row(bmap->div[i], bmap->div[j], i, j, bmap->n_div, total); in bmap_cmp_row()
687 __isl_take isl_basic_map *bmap) in isl_basic_map_sort_divs() argument
692 bmap = isl_basic_map_order_divs(bmap); in isl_basic_map_sort_divs()
693 if (!bmap) in isl_basic_map_sort_divs()
695 if (bmap->n_div <= 1) in isl_basic_map_sort_divs()
696 return bmap; in isl_basic_map_sort_divs()
700 return isl_basic_map_free(bmap); in isl_basic_map_sort_divs()
701 for (i = 1; i < bmap->n_div; ++i) { in isl_basic_map_sort_divs()
705 bmap = isl_basic_map_swap_div(bmap, j, j + 1); in isl_basic_map_sort_divs()
706 if (!bmap) in isl_basic_map_sort_divs()
[all …]
|
| H A D | isl_input.c | 2165 if (!bmap) in basic_map_read_polylib_constraint()
2221 return bmap; in basic_map_read_polylib_constraint()
2316 if (!bmap) in basic_map_read_polylib()
2327 bmap = basic_map_read_polylib_constraint(s, bmap); in basic_map_read_polylib()
2336 bmap = isl_basic_map_simplify(bmap); in basic_map_read_polylib()
2337 bmap = isl_basic_map_finalize(bmap); in basic_map_read_polylib()
2338 return bmap; in basic_map_read_polylib()
3136 return bmap; in basic_map_read()
3146 if (!bmap) in basic_set_read()
3166 return bmap; in isl_basic_map_read_from_file()
[all …]
|
| H A D | isl_convex_hull.c | 56 if (!bmap) in isl_basic_map_remove_redundancies()
59 bmap = isl_basic_map_gauss(bmap, NULL); in isl_basic_map_remove_redundancies()
61 return bmap; in isl_basic_map_remove_redundancies()
63 return bmap; 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()
79 bmap = isl_basic_map_update_from_tab(bmap, tab); in isl_basic_map_remove_redundancies()
81 if (!bmap) in isl_basic_map_remove_redundancies()
85 return bmap; in isl_basic_map_remove_redundancies()
838 bmap = isl_basic_map_copy(bmap); in isl_basic_map_image_is_bounded()
[all …]
|
| /llvm-project-15.0.7/polly/lib/External/isl/include/isl/ |
| H A D | map.h | 53 __isl_keep isl_basic_map *bmap);
72 __isl_take isl_basic_map *bmap,
78 __isl_take isl_basic_map *bmap,
134 __isl_take isl_basic_map *bmap);
147 __isl_take isl_basic_map *bmap,
151 __isl_take isl_basic_map *bmap,
183 __isl_take isl_basic_map *bmap);
187 __isl_take isl_basic_map *bmap,
190 __isl_take isl_basic_map *bmap,
221 __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-15.0.7/clang/test/Analysis/ |
| H A D | retain-release-inline.m | 317 if (!bmap)
320 if (--bmap->ref > 0)
323 free(bmap);
332 if (!bmap)
335 bmap->ref++;
336 return bmap;
340 // After this call, 'bmap' has a +1 reference count.
341 bmap = isl_basic_map_cow(bmap);
344 // After this call, 'bmap' has a +0 reference count.
352 bmap = isl_basic_map_cow(bmap); // no-warning
[all …]
|