/external/llvm-project/polly/lib/External/isl/ |
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() 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()
|
D | isl_scan.c | 158 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()
|
D | isl_seq.h | 26 void isl_seq_neg(isl_int *dst, isl_int *src, unsigned len);
|
D | isl_lp.c | 36 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()
|
D | basis_reduction_tab.c | 188 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()
|
D | isl_coalesce.c | 84 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 …]
|
D | isl_tab_pip.c | 745 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 …]
|
D | isl_ilp.c | 128 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()
|
D | isl_convex_hull.c | 628 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()
|
D | isl_seq.c | 35 void isl_seq_neg(isl_int *dst, isl_int *src, unsigned len) in isl_seq_neg() function
|
D | isl_mat.c | 197 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()
|
D | isl_affine_hull.c | 294 isl_seq_neg(eq, eq, 1 + dim); in outside_point() 306 isl_seq_neg(eq, eq, 1 + dim); in outside_point()
|
D | isl_sample.c | 243 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()
|
D | isl_bernstein.c | 84 isl_seq_neg(vertex->eq[r], vertex->eq[r], 1 + total); in vertex_coordinate()
|
D | isl_tab.c | 2076 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()
|
D | isl_vec.c | 468 isl_seq_neg(vec->el, vec->el, vec->size); in isl_vec_neg()
|
D | isl_map_simplify.c | 568 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()
|
D | isl_transitive_closure.c | 378 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()
|
D | isl_output.c | 815 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()
|
D | isl_constraint.c | 1251 isl_seq_neg(aff->v->el + 1, constraint->v->el, aff->v->size - 1); in isl_constraint_get_bound()
|
D | isl_vertices.c | 710 isl_seq_neg(todo->constraint->el, tab->bmap->ineq[con], 1 + tab->n_var); in create_todo()
|
D | isl_polynomial.c | 2530 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()
|
D | isl_aff.c | 1321 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()
|
D | isl_scheduler.c | 2807 isl_seq_neg(ineq->el + pos, ineq->el + pos, 2); in node_add_coefficient_constraints()
|
D | isl_map.c | 3367 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()
|