Home
last modified time | relevance | path

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

12

/external/llvm-project/polly/lib/External/isl/
Disl_val_gmp.c15 isl_int_set(v->n, z); in isl_val_int_from_gmp()
31 isl_int_set(v->n, n); in isl_val_from_gmp()
32 isl_int_set(v->d, d); in isl_val_from_gmp()
Disl_scan.c49 isl_int_set(cnt->count, cnt->max); in increment_range()
263 isl_int_set(cnt.max, max); in isl_basic_set_count_upto()
268 isl_int_set(*count, cnt.count); in isl_basic_set_count_upto()
289 isl_int_set(cnt.max, max); in isl_set_count_upto()
294 isl_int_set(*count, cnt.count); in isl_set_count_upto()
Disl_seq.c32 isl_int_set(p[i], v); in isl_seq_set()
46 isl_int_set(dst[i], src[i]); in isl_seq_cpy()
123 isl_int_set(dst[i], tmp); in isl_seq_combine()
274 isl_int_set(*lcm, p[0]); in isl_seq_lcm()
328 isl_int_set(v, p[1 + pos]); in isl_seq_substitute()
Dbasis_reduction_templ.c187 isl_int_set(tmp, mu[0]); in isl_tab_compute_reduced_basis()
192 isl_int_set(tmp, mu[j]); in isl_tab_compute_reduced_basis()
211 isl_int_set(tmp, mu[j]); in isl_tab_compute_reduced_basis()
Disl_val.c192 isl_int_set(v->n, n); in isl_val_int_from_isl_int()
210 isl_int_set(v->n, n); in isl_val_rat_from_isl_int()
211 isl_int_set(v->d, d); in isl_val_rat_from_isl_int()
240 isl_int_set(dup->n, val->n); in isl_val_dup()
241 isl_int_set(dup->d, val->d); in isl_val_dup()
305 isl_int_set(*n, v->n); in isl_val_get_num_isl_int()
1058 isl_int_set(a_copy, a); in isl_int_gcdext()
1059 isl_int_set(b_copy, b); in isl_int_gcdext()
Disl_dim_map.c132 isl_int_set(dst[i], src[dim_map->m[i].pos]); in copy_constraint_dim_map()
141 isl_int_set(dst[0], src[0]); in copy_div_dim_map()
Disl_lp.c174 isl_int_set(*opt, opt_i); in isl_map_solve_lp()
176 isl_int_set(*opt_denom, opt_denom_i); in isl_map_solve_lp()
Disl_bernstein.c80 isl_int_set(denom, vertex->eq[r][1 + nparam + i]); in vertex_coordinate()
186 isl_int_set(multinom->el[1], multinom->el[0]); in extract_coefficients()
222 isl_int_set(multinom->el[i + 1], multinom->el[i]); in extract_coefficients()
Disl_farkas.c275 isl_int_set(dual->eq[k][1 + shift + total + j], in farkas()
278 isl_int_set(dual->eq[k][1 + shift + total + bset->n_eq + j], in farkas()
623 isl_int_set(bset->ineq[k][1], lcm); in add_vertex()
Disl_ilp.c166 isl_int_set(tmp, u); in solve_ilp_search()
247 isl_int_set(l, *opt); in solve_ilp()
461 isl_int_set(*opt, opt_i); in isl_set_opt_aligned()
Disl_point.c421 isl_int_set(pnt->vec->el[1 + pos], v->n); in isl_point_set_coordinate_val()
705 isl_int_set(bset->ineq[k][0], pnt1->vec->el[1 + i]); in isl_basic_set_box_from_points()
721 isl_int_set(bset->ineq[k][0], pnt2->vec->el[1 + i]); in isl_basic_set_box_from_points()
Disl_mat.c323 isl_int_set(*v, mat->row[row][col]); in isl_mat_get_element()
350 isl_int_set(mat->row[row][col], v); in isl_mat_set_element()
394 isl_int_set(mat->row[i][i], d); in isl_mat_diag()
487 isl_int_set(vec_mat->row[i][0], vec->el[i]); in isl_mat_vec_inverse_product()
495 isl_int_set(vec->el[i], vec_mat->row[i][0]); in isl_mat_vec_inverse_product()
1071 isl_int_set(a, left->row[0][0]); in isl_mat_inverse_product()
1113 isl_int_set(mat->row[i][dst], tmp); in isl_mat_col_combine()
1173 isl_int_set(a, mat->row[0][0]); in isl_mat_right_inverse()
1219 isl_int_set(transpose->row[j][i], mat->row[i][j]); in isl_mat_transpose()
Disl_equalities.c84 isl_int_set(M->row[i][i], d->block.data[i]); in particular_solution()
197 isl_int_set(T->row[0][0], D); in parameter_compression_multi()
477 isl_int_set(mat->row[1 + i][1 + i], mat->row[0][0]); in insert_parameter_rows()
Disl_test_int.c27 isl_int_set(demoted, val); in int_test_hash()
30 isl_int_set(promoted, val); in int_test_hash()
Disl_sample.c89 isl_int_set(sample->el[1], bset->eq[0][0]); in interval_sample()
99 isl_int_set(sample->block.data[1], bset->ineq[0][0]); in interval_sample()
713 isl_int_set(T->row[i][0], sample->el[i]); in plug_in()
1231 isl_int_set(bset->eq[k][1 + i], vec->el[0]); in isl_basic_set_from_vec()
Disl_polynomial.c381 isl_int_set(cst->n, n); in isl_poly_rat_cst()
382 isl_int_set(cst->d, d); in isl_poly_rat_cst()
655 isl_int_set(dup->n, cst->n); in isl_poly_dup_cst()
656 isl_int_set(dup->d, cst->d); in isl_poly_dup_cst()
1972 isl_int_set(cst->n, v); in isl_qpolynomial_cst_on_domain()
1995 isl_int_set(*n, cst->n); in isl_qpolynomial_is_cst()
1997 isl_int_set(*d, cst->d); in isl_qpolynomial_is_cst()
2626 isl_int_set(cst->n, n); in isl_qpolynomial_rat_cst_on_domain()
2627 isl_int_set(cst->d, d); in isl_qpolynomial_rat_cst_on_domain()
2645 isl_int_set(cst->n, val->n); in isl_qpolynomial_val_on_domain()
[all …]
Disl_int_imath.h12 #define isl_int_set(r,i) impz_set(r,i) macro
Disl_int_gmp.h14 #define isl_int_set(r,i) mpz_set(r,i) macro
Disl_constraint.c475 isl_int_set(*v, constraint->v->el[0]); in isl_constraint_get_constant()
499 isl_int_set(*v, constraint->v->el[pos]); in isl_constraint_get_coefficient()
538 isl_int_set(constraint->v->el[0], v); in isl_constraint_set_constant()
590 isl_int_set(constraint->v->el[pos], v); in isl_constraint_set_coefficient()
Disl_local.c255 isl_int_set(mat->row[i][2 + r->pos[j]], in isl_local_reorder()
Disl_vec.c111 isl_int_set(vec->el[i + extra], vec->el[i]); in isl_vec_expand()
277 isl_int_set(vec->el[pos], v); in isl_vec_set_element()
Disl_convex_hull.c1030 isl_int_set(lp->eq[k][n], bset1->eq[j][i]); n++; in valid_direction_lp()
1034 isl_int_set(lp->eq[k][n], bset1->ineq[j][i]); n++; in valid_direction_lp()
1040 isl_int_set(lp->eq[k][n], bset2->eq[j][i]); n++; in valid_direction_lp()
1106 isl_int_set(dir->block.data[0], sample->block.data[n]); n++; in valid_direction()
1558 isl_int_set(c->c->row[0][0], con[0]); in update_constraint()
2191 isl_int_set(ineq[0], ineq_j[0]); in set_max_constant_term()
2542 isl_int_set(bmap1->ineq[i1][0], bmap2->ineq[i2][0]); in select_shared_inequalities()
Disl_tab_pip.c291 isl_int_set(aff->v->el[0], M->row[0][0]); in set_from_affine_matrix()
847 isl_int_set(line[0], tab->mat->row[row][1]); in get_row_parameter_line()
853 isl_int_set(line[1 + i], tab->mat->row[row][off + col]); in get_row_parameter_line()
861 isl_int_set(line[1 + tab->n_param + i], in get_row_parameter_line()
963 isl_int_set(div->el[0], tab->mat->row[row][0]); in get_row_parameter_div()
991 isl_int_set(div->el[0], tab->mat->row[row][0]); in get_row_split_div()
1839 isl_int_set(r_row[0], tab->mat->row[row][0]); in add_cut()
2225 isl_int_set(r_row[0], tab->mat->row[row][0]); in add_parametric_cut()
2271 isl_int_set(r_row[off + col], tab->mat->row[row][0]); in add_parametric_cut()
2931 isl_int_set(cst->el[i], bset->ineq[i][0]); in gbr_init_shifted()
[all …]
Disl_tab.c1839 isl_int_set(row[1], line[0]); in isl_tab_add_row()
2273 isl_int_set(ineq->el[div_pos], tab->bmap->div[div][0]); in add_div_constraints()
2728 isl_int_set(row[0], tab->mat->row[var->index][0]); in cut_to_hyperplane()
3400 isl_int_set(tab->dual->el[0], tab->mat->row[var->index][0]); in isl_tab_min()
3412 isl_int_set(tab->dual->el[1 + i], in isl_tab_min()
3418 isl_int_set(*opt, tab->mat->row[var->index][1]); in isl_tab_min()
3419 isl_int_set(*opt_denom, tab->mat->row[var->index][0]); in isl_tab_min()
3593 isl_int_set(eq->el[0], *target); in detect_constant_with_tmp()
Disl_map_simplify.c570 isl_int_set(bmap->div[div][0], bmap->eq[eq][o_div + div]); in set_div_from_eq()
1018 isl_int_set(d->block.data[i], bmap->eq[i][1 + v_div + j]); in normalize_divs()
1079 isl_int_set(bmap->div[k][0], T->row[i][i]); in normalize_divs()
1096 isl_int_set(bmap->eq[j][pos[i]], bmap->div[k][0]); in normalize_divs()
1123 isl_int_set(bmap->div[div][0], bmap->ineq[ineq][total + div]); in set_div_from_lower_bound()
4363 isl_int_set(data->v->el[0], data->fl); in int_between_bounds()
4370 isl_int_set(data->v->el[0], data->fl); in int_between_bounds()
4557 isl_int_set(bmap->ineq[i][1 + v_div + div2], in coalesce_divs()

12