| /external/llvm-project/polly/lib/External/isl/ |
| D | isl_map_simplify.c | 219 if (bmap->n_div == 0) in reduce_div_coefficients()
222 for (i = 0; i < bmap->n_div; ++i) { in reduce_div_coefficients()
290 if (bmap->n_div == 0) in normalize_div_expressions()
293 for (i = 0; i < bmap->n_div; ++i) in normalize_div_expressions()
314 last_div = isl_seq_last_non_zero(eq + 1 + v_div, bmap->n_div); in eliminate_var_using_equality()
337 for (k = 0; k < bmap->n_div; ++k) { in eliminate_var_using_equality()
399 last_div = isl_seq_last_non_zero(eq + 1 + v_div, bmap->n_div); in ok_to_eliminate_div()
430 for (d = bmap->n_div - 1; d >= 0 ; --d) { in eliminate_divs_eq()
471 for (d = bmap->n_div - 1; d >= 0 ; --d) { in eliminate_divs_ineq()
615 total_var = total - bmap->n_div; in isl_basic_map_gauss5()
[all …]
|
| D | isl_local.c | 70 isl_size total, n_div; in isl_local_dim() local
73 n_div = isl_local_dim(local, isl_dim_div); in isl_local_dim()
74 if (total < 0 || n_div < 0) in isl_local_dim()
76 return total - n_div; in isl_local_dim()
278 isl_size dim, n_div, size; in isl_local_extend_point_vec() local
291 n_div = isl_local_dim(local, isl_dim_div); in isl_local_extend_point_vec()
293 if (dim < 0 || n_div < 0 || size < 0) in isl_local_extend_point_vec()
298 if (n_div == 0) in isl_local_extend_point_vec()
305 v = isl_vec_add_els(v, n_div); in isl_local_extend_point_vec()
309 for (i = 0; i < n_div; ++i) { in isl_local_extend_point_vec()
|
| D | isl_tab_pip.c | 333 isl_size n_div; in sol_push_sol_mat() local
336 n_div = isl_basic_set_dim(dom, isl_dim_div); in sol_push_sol_mat()
337 if (n_div < 0) in sol_push_sol_mat()
339 n_known = n_div - sol->context->n_unknown; in sol_push_sol_mat()
344 n_known, n_div - n_known); in sol_push_sol_mat()
698 1 + tab->n_param + tab->n_div); in sol_add()
736 for (j = 0; j < tab->n_div; ++j) { in sol_add()
738 if (tab->var[tab->n_var - tab->n_div+j].is_row) in sol_add()
740 col = tab->var[tab->n_var - tab->n_div+j].index; in sol_add()
856 for (i = 0; i < tab->n_div; ++i) { in get_row_parameter_line()
[all …]
|
| D | isl_map.c | 90 case isl_dim_div: return bmap->n_div; in isl_basic_map_dim()
220 return dim + bmap->n_div; in isl_basic_map_total_dim()
472 cols = 1 + 1 + v_div + bmap->n_div; in isl_basic_map_get_divs()
473 div = isl_mat_alloc(ctx, bmap->n_div, cols); in isl_basic_map_get_divs()
477 for (i = 0; i < bmap->n_div; ++i) in isl_basic_map_get_divs()
519 isl_size n_div; in add_known_div_constraints() local
521 n_div = isl_basic_map_dim(bmap, isl_dim_div); in add_known_div_constraints()
522 if (n_div < 0) in add_known_div_constraints()
524 if (n_div == 0) in add_known_div_constraints()
527 bmap = isl_basic_map_extend_constraints(bmap, 0, 2 * n_div); in add_known_div_constraints()
[all …]
|
| D | isl_transitive_closure.c | 301 isl_size n_div; in parametric_constant_never_positive() local
308 n_div = isl_basic_set_dim(bset, isl_dim_div); in parametric_constant_never_positive()
312 if (n_div < 0 || d < 0 || nparam < 0 || total < 0) in parametric_constant_never_positive()
323 for (i = 0; i < n_div; ++i) { in parametric_constant_never_positive()
350 isl_size n_div; in purity() local
356 n_div = isl_basic_set_dim(bset, isl_dim_div); in purity()
359 if (n_div < 0 || d < 0 || nparam < 0) in purity()
362 for (i = 0; i < n_div; ++i) { in purity()
378 isl_seq_neg(c, c, 1 + nparam + d + n_div); in purity()
397 isl_size n_div; in get_div_purity() local
[all …]
|
| D | isl_morph.c | 533 isl_size n_div; in isl_basic_set_parameter_compression() local
550 n_div = isl_basic_set_dim(bset, isl_dim_div); in isl_basic_set_parameter_compression()
551 if (nparam < 0 || nvar < 0 || n_div < 0) in isl_basic_set_parameter_compression()
555 nvar + n_div) == -1) in isl_basic_set_parameter_compression()
559 if (n_eq > nvar + n_div) in isl_basic_set_parameter_compression()
565 0, n_eq, 1 + nparam, nvar + n_div); in isl_basic_set_parameter_compression()
625 isl_seq_clr(bset->eq[k] + morph->inv->n_col, bset->n_div); in add_strides()
659 bset->n_div + max_stride, bset->n_eq + max_stride, bset->n_ineq); in isl_morph_basic_set()
661 for (i = 0; i < bset->n_div; ++i) in isl_morph_basic_set()
676 morph->inv->row[0][0], bset->n_div); in isl_morph_basic_set()
[all …]
|
| D | isl_coalesce.c | 321 isl_size n_div; in coalesce_info_set_hull_hash() local
325 n_div = isl_basic_map_dim(hull, isl_dim_div); in coalesce_info_set_hull_hash()
326 if (n_div < 0) in coalesce_info_set_hull_hash()
329 isl_dim_div, 0, n_div); in coalesce_info_set_hull_hash()
530 info[i].bmap->n_div, n_eq, n_eq + n_ineq + extra_rows); in fuse()
539 for (k = 0; k < info[i].bmap->n_div; ++k) { in fuse()
1055 for (l = 0; l < info[i].bmap->n_div; ++l) in extend()
2644 isl_size total, n_div; in shift_div() local
2651 n_div = isl_basic_map_dim(info->bmap, isl_dim_div); in shift_div()
2652 if (total < 0 || n_div < 0) in shift_div()
[all …]
|
| D | isl_map_subtract.c | 33 isl_int *c, int *div_map, unsigned n_div) in expand_constraint() argument
40 for (i = 0; i < n_div; ++i) { in expand_constraint()
180 if (!bmap->n_div) in tab_add_divs()
184 *div_map = isl_alloc_array(bmap->ctx, int, bmap->n_div); in tab_add_divs()
191 dim = total - tab->bmap->n_div; in tab_add_divs()
192 vec = isl_vec_alloc(bmap->ctx, 2 + total + bmap->n_div); in tab_add_divs()
196 for (i = 0; i < bmap->n_div; ++i) { in tab_add_divs()
198 isl_seq_clr(vec->el + 2 + dim, tab->bmap->n_div); in tab_add_divs()
203 for (j = 0; j < tab->bmap->n_div; ++j) in tab_add_divs()
205 vec->el, 2 + dim + tab->bmap->n_div)) in tab_add_divs()
[all …]
|
| D | isl_stride.c | 231 isl_size n_div; in detect_stride() local
246 n_div = isl_constraint_dim(c, isl_dim_div); in detect_stride()
247 if (n_div < 0) in detect_stride()
251 for (i = 0; i < n_div; ++i) { in detect_stride()
271 for (i = 0; i < n_div; ++i) in detect_stride()
|
| D | isl_output.c | 85 for (i = 0; i < bmap->n_div; ++i) { in print_constraint_polylib()
135 isl_size n_div = isl_basic_map_dim(bmap, isl_dim_div); in isl_basic_map_print_polylib() local
138 if (n_in < 0 || n_out < 0 || n_div < 0 || nparam < 0) in isl_basic_map_print_polylib()
146 p = isl_printer_print_int(p, n_div); in isl_basic_map_print_polylib()
356 isl_size n_div, total; in print_affine() local
360 n_div = isl_mat_rows(div); in print_affine()
361 if (total < 0 || n_div < 0) in print_affine()
363 len = 1 + total + n_div; in print_affine()
648 isl_size n_div; in print_as_modulo_pos() local
651 n_div = isl_mat_rows(div); in print_as_modulo_pos()
[all …]
|
| D | isl_dim_map.c | 107 for (i = 0; i < bmap->n_div; ++i) { in isl_dim_map_div()
168 for (i = 0; i < src->n_div; ++i) { in isl_basic_map_add_constraints_dim_map()
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()
|
| D | isl_tab_lexopt_templ.c | 56 unsigned n_in, n_out, n_div; in SF() local
112 n_div = isl_basic_set_dim(dom, isl_dim_div); in SF()
121 isl_seq_clr(dom->ineq[k] + 1 + n_in + 1, n_div); in SF()
|
| D | isl_box.c | 253 isl_size n_div; in is_suitable_bound() local
260 n_div = isl_constraint_dim(c, isl_dim_div); in is_suitable_bound()
261 if (n_div < 0) in is_suitable_bound()
263 any_divs = isl_constraint_involves_dims(c, isl_dim_div, 0, n_div); in is_suitable_bound()
|
| D | isl_local_space.c | 75 unsigned n_div) in isl_local_space_alloc() argument
89 div = isl_mat_alloc(ctx, n_div, 1 + 1 + total + n_div); in isl_local_space_alloc()
684 return cmp_row(bmap->div[i], bmap->div[j], i, j, bmap->n_div, total); in bmap_cmp_row()
702 if (bmap->n_div <= 1) in isl_basic_map_sort_divs()
708 for (i = 1; i < bmap->n_div; ++i) { in isl_basic_map_sort_divs()
1066 unsigned n_div; in isl_local_space_substitute_equalities() local
1079 n_div = eq->n_div; in isl_local_space_substitute_equalities()
1081 j = isl_seq_last_non_zero(eq->eq[i], total + n_div); in isl_local_space_substitute_equalities()
1183 isl_size n_div; in isl_local_space_substitute() local
1192 n_div = isl_local_space_dim(subs->ls, isl_dim_div); in isl_local_space_substitute()
[all …]
|
| D | isl_polynomial.c | 515 isl_size n_div; in isl_qpolynomial_domain_dim() local
517 n_div = isl_qpolynomial_domain_dim(qp, isl_dim_div); in isl_qpolynomial_domain_dim()
518 if (n_div < 0) in isl_qpolynomial_domain_dim()
520 dim += n_div; in isl_qpolynomial_domain_dim()
1283 unsigned n_div, __isl_take isl_poly *poly) in isl_qpolynomial_alloc() argument
1301 qp->div = isl_mat_alloc(space->ctx, n_div, 1 + 1 + total + n_div); in isl_qpolynomial_alloc()
2561 isl_size n_div, total, new_n_div; in reduce_divs() local
2564 n_div = isl_qpolynomial_domain_dim(qp, isl_dim_div); in reduce_divs()
2566 if (total < 0 || n_div < 0) in reduce_divs()
2569 mat = isl_mat_zero(ctx, n_div, 1 + total); in reduce_divs()
[all …]
|
| D | isl_aff.c | 561 __isl_take isl_reordering *r, int n_div) in vec_reorder() argument
575 res = isl_vec_alloc(vec->ctx, 2 + dim + n_div); in vec_reorder()
2111 unsigned n_div; in isl_aff_substitute_equalities_lifted() local
2131 n_div = eq->n_div; in isl_aff_substitute_equalities_lifted()
2133 j = isl_seq_last_non_zero(eq->eq[i], o_div + n_div); in isl_aff_substitute_equalities_lifted()
2156 isl_size n_div; in isl_aff_substitute_equalities() local
2158 n_div = isl_aff_domain_dim(aff, isl_dim_div); in isl_aff_substitute_equalities()
2159 if (n_div < 0) in isl_aff_substitute_equalities()
2161 if (n_div > 0) in isl_aff_substitute_equalities()
2162 eq = isl_basic_set_add_dims(eq, isl_dim_set, n_div); in isl_aff_substitute_equalities()
[all …]
|
| D | isl_lp.c | 108 if (map->p[i]->n_div > max_div) in isl_map_solve_lp()
109 max_div = map->p[i]->n_div; in isl_map_solve_lp()
|
| D | isl_tab.c | 76 tab->n_div = 0; in isl_tab_alloc()
286 dup->n_div = tab->n_div; in isl_tab_dup()
451 isl_assert(tab1->mat->ctx, tab1->n_div == 0, return NULL); in isl_tab_product()
452 isl_assert(tab1->mat->ctx, tab2->n_div == 0, return NULL); in isl_tab_product()
539 prod->n_div = 0; in isl_tab_product()
1858 if (tab->M && i >= tab->n_param && i < tab->n_var - tab->n_div) in isl_tab_add_row()
2222 div_pos = 1 + total - bmap->n_div + div; in ineq_for_div()
2258 div_pos = 1 + total - tab->bmap->n_div + div; in add_div_constraints()
2337 isl_size n_div; in isl_tab_insert_div() local
2347 n_div = isl_basic_map_dim(tab->bmap, isl_dim_div); in isl_tab_insert_div()
[all …]
|
| D | isl_space_private.h | 28 unsigned n_div);
|
| D | isl_local_space_private.h | 21 unsigned n_div);
|
| D | isl_ast_codegen.c | 2353 int n_div; member
2377 isl_size n_div; in update_n_div() local
2380 n_div = isl_aff_dim(aff, isl_dim_div); in update_n_div()
2385 if (n_div > *n) in update_n_div()
2386 *n = n_div; in update_n_div()
2388 return n_div >= 0 ? isl_stat_ok : isl_stat_error; in update_n_div()
2437 int n_div; in is_better_lower_bound() local
2452 if (data->n_div < 0) in is_better_lower_bound()
2453 data->n_div = get_expanded_n_div(data, data->lower); in is_better_lower_bound()
2454 if (data->n_div < 0) in is_better_lower_bound()
[all …]
|
| D | isl_affine_hull.c | 1050 isl_seq_clr(bmap->eq[k] + M->n_col, bmap->n_div - n_known); in add_strides()
1110 for (n_known = 0; n_known < bmap->n_div; ++n_known) in isl_basic_map_make_strides_explicit()
1118 bmap->n_div - n_known) == -1) in isl_basic_map_make_strides_explicit()
1124 n_col = bmap->n_div - n_known; in isl_basic_map_make_strides_explicit()
|
| D | isl_constraint.c | 670 isl_size n_div; in isl_constraint_is_div_constraint() local
676 n_div = isl_constraint_dim(constraint, isl_dim_div); in isl_constraint_is_div_constraint()
677 if (n_div < 0) in isl_constraint_is_div_constraint()
679 for (i = 0; i < n_div; ++i) { in isl_constraint_is_div_constraint()
|
| D | isl_mat.c | 1317 unsigned n_div, int has_div, struct isl_mat *mat) in preimage() argument
1337 q[i] + has_div + t->n_col + e, n_div); in preimage()
1338 isl_seq_clr(q[i] + has_div + t->n_col + n_div, e); in preimage()
1382 if (preimage(ctx, bset->eq, bset->n_eq, bset->n_div, 0, in isl_basic_set_preimage()
1386 if (preimage(ctx, bset->ineq, bset->n_ineq, bset->n_div, 0, in isl_basic_set_preimage()
1390 if (preimage(ctx, bset->div, bset->n_div, bset->n_div, 1, mat) < 0) in isl_basic_set_preimage()
|
| /external/llvm-project/polly/lib/External/ppcg/ |
| D | gpu_group.c | 192 unsigned n_div; in check_stride_constraint() local
196 n_div = isl_constraint_dim(c, isl_dim_div); in check_stride_constraint()
199 if (n_div && (isl_val_is_one(v) || isl_val_is_negone(v))) { in check_stride_constraint()
204 for (i = 0; i < n_div; ++i) { in check_stride_constraint()
331 unsigned n_div; in compute_size_in_direction() local
337 n_div = isl_constraint_dim(c, isl_dim_div); in compute_size_in_direction()
339 if (isl_constraint_involves_dims(c, isl_dim_div, 0, n_div) || in compute_size_in_direction()
|