Home
last modified time | relevance | path

Searched refs:isl_seq_neg (Results 1 – 25 of 25) sorted by relevance

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_map_subtract.c80 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()
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()
H A Disl_scan.c158 isl_seq_neg(B->row[1 + level] + 1, in isl_basic_set_scan()
162 isl_seq_neg(B->row[1 + level] + 1, in isl_basic_set_scan()
H A Disl_lp.c36 isl_seq_neg(f, f, 1 + dim); in isl_tab_solve_lp()
49 isl_seq_neg(f, f, 1 + dim); in isl_tab_solve_lp()
H A Disl_seq.h26 void isl_seq_neg(isl_int *dst, isl_int *src, unsigned len);
H A Dbasis_reduction_tab.c188 isl_seq_neg(lp->row->el + 1 + lp->dim, lp->obj, lp->dim); in solve_lp()
274 isl_seq_neg(lp->row->el + 1 + lp->dim, row, lp->dim); in add_lp_row()
H A Disl_coalesce.c84 isl_seq_neg(bmap_i->eq[k], bmap_i->eq[k], 1+dim); in eq_status_in()
448 isl_seq_neg(bmap->ineq[l], info->bmap->eq[k], len); in add_valid_constraints()
682 isl_seq_neg(bmap->eq[k], bmap->eq[k], 1 + dim); in contains()
684 isl_seq_neg(bmap->eq[k], bmap->eq[k], 1 + dim); in contains()
1296 isl_seq_neg(wraps->mat->row[w + 1], ineq, len); in add_wrap()
1567 isl_seq_neg(bound, info->bmap->ineq[k], 1 + total); in add_selected_wraps_around_facet()
1900 isl_seq_neg(wraps->mat->row[w], in try_wrap_in_facets()
2078 isl_seq_neg(info[i].bmap->eq[k], in can_wrap_in_set()
2083 isl_seq_neg(info[i].bmap->eq[k], in can_wrap_in_set()
2328 isl_seq_neg(bound->el, info[i].bmap->eq[k / 2], 1 + total); in check_eq_adj_eq()
[all …]
H A Disl_tab_pip.c1516 isl_seq_neg(eq, eq, 1 + tab->n_var); in add_lexmin_valid_eq()
1613 isl_seq_neg(eq, eq, 1 + tab->n_var); in add_lexmin_eq()
1639 isl_seq_neg(eq, eq, 1 + tab->n_var); in add_lexmin_eq()
1641 isl_seq_neg(eq, eq, 1 + tab->n_var); in add_lexmin_eq()
2344 isl_seq_neg(bmap->eq[i] + o_var, in tab_for_lexmin()
2348 isl_seq_neg(bmap->eq[i] + o_var, in tab_for_lexmin()
2357 isl_seq_neg(bmap->ineq[i] + o_var, in tab_for_lexmin()
2361 isl_seq_neg(bmap->ineq[i] + o_var, in tab_for_lexmin()
4276 isl_seq_neg(eq->el, eq->el, eq->size); in find_solutions_main()
5624 isl_seq_neg(eq, eq, 1 + n_var); in isl_tab_lexmin_add_eq()
[all …]
H A Disl_ilp.c128 isl_seq_neg(bset->ineq[k], f, 1 + total); in add_bounds()
334 isl_seq_neg(f, f, 1 + dim); in isl_basic_set_solve_ilp()
339 isl_seq_neg(f, f, 1 + dim); in isl_basic_set_solve_ilp()
H A Disl_convex_hull.c628 isl_seq_neg(upper, set->p[0]->eq[0], 2); in convex_hull_1d()
630 isl_seq_neg(lower, set->p[0]->eq[0], 2); in convex_hull_1d()
661 isl_seq_neg(lower, bset->eq[j], 2); in convex_hull_1d()
667 isl_seq_neg(upper, bset->eq[j], 2); in convex_hull_1d()
907 isl_seq_neg(lin->eq[k] + 1, bset2->eq[i] + 1, dim); in induced_lineality_space()
914 isl_seq_neg(lin->ineq[k] + 1, bset2->ineq[i] + 1, dim); in induced_lineality_space()
1687 isl_seq_neg(eq, eq, 1 + total); in common_constraints()
2073 isl_seq_neg(bset->eq[i], bset->eq[i], 1 + dim); in hash_basic_set()
2318 isl_seq_neg(set->p[i]->eq[j], set->p[i]->eq[j], 1+dim); in add_bounds()
2843 isl_seq_neg(mat->row[n_eq++], bset->eq[j], mat->n_col); in collect_inequalities()
H A Disl_seq.c35 void isl_seq_neg(isl_int *dst, isl_int *src, unsigned len) in isl_seq_neg() function
H A Disl_mat.c199 isl_seq_neg(dst[i]+dst_col, src[i]+src_col, n_col); in isl_mat_sub_neg()
626 isl_seq_neg((*Q)->row[col], (*Q)->row[col], (*Q)->n_col); in oppose()
990 isl_seq_neg(left->row[row]+row, left->row[row]+row, left->n_col-row); in inv_oppose()
991 isl_seq_neg(right->row[row], right->row[row], right->n_col); in inv_oppose()
1733 isl_seq_neg(mat->row[row], mat->row[row], mat->n_col); in isl_mat_row_neg()
H A Disl_affine_hull.c294 isl_seq_neg(eq, eq, 1 + dim); in outside_point()
306 isl_seq_neg(eq, eq, 1 + dim); in outside_point()
H A Disl_sample.c243 isl_seq_neg(tab->basis->row[1 + level] + 1, in compute_max()
247 isl_seq_neg(tab->basis->row[1 + level] + 1, in compute_max()
H A Disl_bernstein.c84 isl_seq_neg(vertex->eq[r], vertex->eq[r], 1 + total); in vertex_coordinate()
H A Disl_tab.c2065 isl_seq_neg(tab->mat->row[r] + 1, tab->mat->row[r] + 1, in isl_tab_add_valid_eq()
2149 isl_seq_neg(eq, eq, 1 + tab->n_var); in isl_tab_add_eq()
2151 isl_seq_neg(eq, eq, 1 + tab->n_var); in isl_tab_add_eq()
2163 isl_seq_neg(tab->mat->row[row] + 1, tab->mat->row[row] + 1, in isl_tab_add_eq()
2261 isl_seq_neg(ineq->el, tab->bmap->div[div] + 1, 1 + total); in add_div_constraints()
2718 isl_seq_neg(row + 1, in cut_to_hyperplane()
H A Disl_map_simplify.c568 isl_seq_neg(bmap->div[div] + 1, bmap->eq[eq], 1 + total); in set_div_from_eq()
634 isl_seq_neg(bmap->eq[done], bmap->eq[done], 1+total); in isl_basic_map_gauss5()
1095 isl_seq_neg(bmap->eq[j], bmap->div[k]+1, 1+v_div+bmap->n_div); in normalize_divs()
1122 isl_seq_neg(bmap->div[div] + 1, bmap->ineq[ineq], total + bmap->n_div); in set_div_from_lower_bound()
1271 isl_seq_neg(bmap->ineq[k]+1, bmap->ineq[k]+1, total); in isl_basic_map_remove_duplicate_constraints()
1273 isl_seq_neg(bmap->ineq[k]+1, bmap->ineq[k]+1, total); in isl_basic_map_remove_duplicate_constraints()
H A Disl_vec.c468 isl_seq_neg(vec->el, vec->el, vec->size); in isl_vec_neg()
H A Disl_transitive_closure.c378 isl_seq_neg(c, c, 1 + nparam + d + n_div); in purity()
2208 isl_seq_neg(bmap->eq[k] + 1 + nparam, in box_closure_on_domain()
H A Disl_output.c815 isl_seq_neg(c->el, bmap->eq[i], 1 + total); in print_constraints()
844 isl_seq_neg(c->el, bmap->ineq[i], 1 + total); in print_constraints()
1399 isl_seq_neg(eq->eq[i], eq->eq[i], 1 + total); in defining_equality()
H A Disl_constraint.c1233 isl_seq_neg(aff->v->el + 1, constraint->v->el, aff->v->size - 1); in isl_constraint_get_bound()
H A Disl_vertices.c764 isl_seq_neg(todo->constraint->el, tab->bmap->ineq[con], 1 + tab->n_var); in create_todo()
H A Disl_polynomial.c2535 isl_seq_neg(qp->div->row[div] + 1, in invert_div()
3013 isl_seq_neg(eq->eq[i], eq->eq[i], total); in isl_qpolynomial_substitute_equalities_lifted()
4551 isl_seq_neg(bset->ineq[k], qp->div->row[div] + 1, 1 + total); in set_div_slice()
H A Disl_aff.c1400 isl_seq_neg(aff->v->el + 1, aff->v->el + 1, aff->v->size - 1); in isl_aff_neg()
4865 isl_seq_neg(aff->v->el + 1, bmap->eq[eq], o_out); in extract_aff_from_equality()
4866 isl_seq_neg(aff->v->el + 1 + o_out, in extract_aff_from_equality()
5389 isl_seq_neg(aff->v->el + 1, hull->eq[i], in pw_multi_aff_from_map_stride()
H A Disl_scheduler.c2807 isl_seq_neg(ineq->el + pos, ineq->el + pos, 2); in node_add_coefficient_constraints()
H A Disl_map.c3435 isl_seq_neg(bmap->ineq[pos], bmap->ineq[pos], 1 + total); in isl_inequality_negate()
5579 isl_seq_neg(bmap->ineq[i], bmap->div[div] + 1, 1 + v_div + n_div); in add_lower_div_constraint()