Home
last modified time | relevance | path

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

/external/llvm-project/polly/lib/External/isl/
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()
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()
Disl_seq.h26 void isl_seq_neg(isl_int *dst, isl_int *src, unsigned len);
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()
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()
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()
786 isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total); in is_adj_ineq_extension_with_wraps()
789 isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total); in is_adj_ineq_extension_with_wraps()
1296 isl_seq_neg(wraps->mat->row[w + 1], ineq, len); in add_wrap()
1559 isl_seq_neg(bound, info->bmap->ineq[k], 1 + total); in add_selected_wraps_around_facet()
1892 isl_seq_neg(wraps->mat->row[w], in try_wrap_in_facets()
2070 isl_seq_neg(info[i].bmap->eq[k], in can_wrap_in_set()
[all …]
Disl_tab_pip.c745 isl_seq_neg(mat->row[1 + row], mat->row[1 + row], in sol_add()
965 isl_seq_neg(div->el + 1, div->el + 1, div->size - 1); in get_row_parameter_div()
1516 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()
[all …]
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()
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()
2842 isl_seq_neg(mat->row[n_eq++], bset->eq[j], mat->n_col); in collect_inequalities()
Disl_seq.c35 void isl_seq_neg(isl_int *dst, isl_int *src, unsigned len) in isl_seq_neg() function
Disl_mat.c197 isl_seq_neg(dst[i]+dst_col, src[i]+src_col, n_col); in isl_mat_sub_neg()
624 isl_seq_neg((*Q)->row[col], (*Q)->row[col], (*Q)->n_col); in oppose()
984 isl_seq_neg(left->row[row]+row, left->row[row]+row, left->n_col-row); in inv_oppose()
985 isl_seq_neg(right->row[row], right->row[row], right->n_col); in inv_oppose()
1727 isl_seq_neg(mat->row[row], mat->row[row], mat->n_col); in isl_mat_row_neg()
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()
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()
Disl_bernstein.c84 isl_seq_neg(vertex->eq[r], vertex->eq[r], 1 + total); in vertex_coordinate()
Disl_tab.c2076 isl_seq_neg(tab->mat->row[r] + 1, tab->mat->row[r] + 1, in isl_tab_add_valid_eq()
2160 isl_seq_neg(eq, eq, 1 + tab->n_var); in isl_tab_add_eq()
2162 isl_seq_neg(eq, eq, 1 + tab->n_var); in isl_tab_add_eq()
2174 isl_seq_neg(tab->mat->row[row] + 1, tab->mat->row[row] + 1, in isl_tab_add_eq()
2272 isl_seq_neg(ineq->el, tab->bmap->div[div] + 1, 1 + total); in add_div_constraints()
2729 isl_seq_neg(row + 1, in cut_to_hyperplane()
Disl_vec.c468 isl_seq_neg(vec->el, vec->el, vec->size); in isl_vec_neg()
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()
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()
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()
Disl_constraint.c1251 isl_seq_neg(aff->v->el + 1, constraint->v->el, aff->v->size - 1); in isl_constraint_get_bound()
Disl_vertices.c710 isl_seq_neg(todo->constraint->el, tab->bmap->ineq[con], 1 + tab->n_var); in create_todo()
Disl_polynomial.c2530 isl_seq_neg(qp->div->row[div] + 1, in invert_div()
3008 isl_seq_neg(eq->eq[i], eq->eq[i], total); in isl_qpolynomial_substitute_equalities_lifted()
4545 isl_seq_neg(bset->ineq[k], qp->div->row[div] + 1, 1 + total); in set_div_slice()
Disl_aff.c1321 isl_seq_neg(aff->v->el + 1, aff->v->el + 1, aff->v->size - 1); in isl_aff_neg()
4718 isl_seq_neg(aff->v->el + 1, bmap->eq[eq], o_out); in extract_aff_from_equality()
4719 isl_seq_neg(aff->v->el + 1 + o_out, in extract_aff_from_equality()
5242 isl_seq_neg(aff->v->el + 1, hull->eq[i], in pw_multi_aff_from_map_stride()
Disl_scheduler.c2807 isl_seq_neg(ineq->el + pos, ineq->el + pos, 2); in node_add_coefficient_constraints()
Disl_map.c3367 isl_seq_neg(bmap->ineq[pos], bmap->ineq[pos], 1 + total); in isl_inequality_negate()
5469 isl_seq_neg(bmap->ineq[i], bmap->div[div] + 1, 1 + v_div + n_div); in add_lower_div_constraint()