Home
last modified time | relevance | path

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

12

/external/llvm-project/polly/lib/External/isl/
Disl_sample.c85 isl_int_neg(sample->el[1], bset->eq[0][0]); in interval_sample()
97 isl_int_neg(sample->block.data[1], bset->ineq[0][0]); in interval_sample()
249 isl_int_neg(max->el[level], max->el[level]); in compute_max()
290 isl_int_neg(tab->basis->row[1 + level][0], in greedy_search()
493 isl_int_neg(tab->basis->row[1 + level][0], min->el[level]); in isl_tab_sample()
809 isl_int_neg(shift->ineq[k][0], shift->ineq[k][0]); in shift_cone()
1230 isl_int_neg(bset->eq[k][0], vec->el[1 + i]); in isl_basic_set_from_vec()
Disl_val.c395 isl_int_neg(v->d, v->d); in isl_val_normalize()
396 isl_int_neg(v->n, v->n); in isl_val_normalize()
421 isl_int_neg(v->n, v->n); in isl_val_neg()
545 isl_int_neg(v->n, v->n); in isl_val_pow2()
1074 isl_int_neg(*x, *x); in isl_int_gcdext()
1481 isl_int_neg(v->n, v->n); in isl_printer_print_val()
1490 isl_int_neg(v->n, v->n); in isl_printer_print_val()
Disl_power_templ.c25 isl_int_neg(exp, exp); in FN()
Disl_scan.c164 isl_int_neg(max->el[level], max->el[level]); in isl_basic_set_scan()
192 isl_int_neg(B->row[1 + level][0], min->el[level]); in isl_basic_set_scan()
Disl_seq.c39 isl_int_neg(dst[i], src[i]); in isl_seq_neg()
147 isl_int_neg(b, b); in isl_seq_elim()
Disl_test_int.c194 isl_int_neg(result, arg); in int_test_neg()
197 isl_int_neg(result, expected); in int_test_neg()
Disl_int_imath.h22 #define isl_int_neg(r,i) impz_neg(r,i) macro
Disl_int_gmp.h24 #define isl_int_neg(r,i) mpz_neg(r,i) macro
Disl_dim_map.c134 isl_int_neg(dst[i], src[dim_map->m[i].pos]); in copy_constraint_dim_map()
Disl_convex_hull.c355 isl_int_neg(num, num); in isl_set_wrap_facet()
1031 isl_int_neg(lp->eq[k][n], bset1->eq[j][i]); n++; in valid_direction_lp()
1039 isl_int_neg(lp->eq[k][n], bset2->eq[j][i]); n++; in valid_direction_lp()
1043 isl_int_neg(lp->eq[k][n], bset2->ineq[j][i]); n++; in valid_direction_lp()
2189 isl_int_neg(ineq_j[0], ineq_j[0]); in set_max_constant_term()
2193 isl_int_neg(ineq_j[0], ineq_j[0]); in set_max_constant_term()
2726 isl_int_neg(ineq_i[0], ineq_i[0]); in add_bound_from_constraint()
2729 isl_int_neg(ineq_i[0], ineq_i[0]); in add_bound_from_constraint()
Disl_farkas.c298 isl_int_neg(dual->ineq[k][2 + total + j], in farkas()
301 isl_int_neg(dual->ineq[k][2 + total + bset->n_eq + j], in farkas()
Disl_point.c708 isl_int_neg(bset->ineq[k][0], pnt1->vec->el[1 + i]); in isl_basic_set_box_from_points()
718 isl_int_neg(bset->ineq[k][0], pnt2->vec->el[1 + i]); in isl_basic_set_box_from_points()
Disl_mat.c618 isl_int_neg(M->row[r][col], M->row[r][col]); in oppose()
621 isl_int_neg((*U)->row[r][col], (*U)->row[r][col]); in oppose()
991 isl_int_neg(m, m); in inv_subtract()
1060 isl_int_neg(b, b); in isl_mat_inverse_product()
1166 isl_int_neg(a, a); in isl_mat_right_inverse()
1710 isl_int_neg(mat->row[i][col], mat->row[i][col]); in isl_mat_col_neg()
Disl_lp.c51 isl_int_neg(*opt, *opt); in isl_tab_solve_lp()
Disl_tab_pip.c1027 isl_int_neg(ineq->el[div_pos], bset->div[div][0]); in ineq_for_div()
1840 isl_int_neg(r_row[1], tab->mat->row[row][1]); in add_cut()
1842 isl_int_neg(r_row[1], r_row[1]); in add_cut()
2226 isl_int_neg(r_row[1], tab->mat->row[row][1]); in add_parametric_cut()
2228 isl_int_neg(r_row[1], r_row[1]); in add_parametric_cut()
2235 isl_int_neg(r_row[off + col], tab->mat->row[row][off + col]); in add_parametric_cut()
2238 isl_int_neg(r_row[off + col], r_row[off + col]); in add_parametric_cut()
2244 isl_int_neg(r_row[off + col], tab->mat->row[row][off + col]); in add_parametric_cut()
2247 isl_int_neg(r_row[off + col], r_row[off + col]); in add_parametric_cut()
4270 isl_int_neg(eq->el[1 + p], tab->mat->row[row][0]); in find_solutions_main()
Disl_aff_map.c91 isl_int_neg(bmap->eq[k][pos], aff->v->el[0]); in isl_basic_map_from_aff2()
Dbasis_reduction_tab.c232 isl_int_neg(lp->row->el[0], lp->tmp); in cut_lp_to_hyperplane()
Disl_output.c334 isl_int_neg(c[i], c[i]); in print_affine_of_len()
342 isl_int_neg(c[i], c[i]); in print_affine_of_len()
1771 isl_int_neg(cst->n, cst->n); in poly_print_cst()
1779 isl_int_neg(cst->n, cst->n); in poly_print_cst()
2929 isl_int_neg(c[i], c[i]); in print_ls_partial_affine_c()
2937 isl_int_neg(c[i], c[i]); in print_ls_partial_affine_c()
Disl_bernstein.c86 isl_int_neg(denom, denom); in vertex_coordinate()
Disl_ilp.c340 isl_int_neg(*opt, *opt); in isl_basic_set_solve_ilp()
Disl_tab.c1142 isl_int_neg(mat->row[row][0], mat->row[row][0]); in isl_tab_pivot()
1143 isl_int_neg(mat->row[row][off + col], mat->row[row][off + col]); in isl_tab_pivot()
1148 isl_int_neg(mat->row[row][1 + j], mat->row[row][1 + j]); in isl_tab_pivot()
2229 isl_int_neg(ineq->el[div_pos], bmap->div[div][0]); in ineq_for_div()
3409 isl_int_neg(tab->dual->el[1 + i], in isl_tab_min()
Disl_equalities.c85 isl_int_neg(C->row[1 + i][0], B->row[i][0]); in particular_solution()
Disl_map_simplify.c147 isl_int_neg(shift, shift); in reduce_coefficient_in_div()
1091 isl_int_neg(bmap->div[k][1 + pos[j]], in normalize_divs()
4349 isl_int_neg(data->fu, data->fu); in int_between_bounds()
4786 isl_int_neg(*l, bmap->ineq[ineq][0]); in lower_bound_from_parallel()
4810 isl_int_neg(*u, bmap->ineq[ineq][0]); in lower_bound_from_opposite()
Disl_map_subtract.c783 isl_int_neg(m, m); in singleton_extract_point()
Disl_affine_hull.c602 isl_int_neg(bset->eq[k][0], bset->eq[k][0]); in initial_hull()

12