Home
last modified time | relevance | path

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

12

/external/llvm-project/polly/lib/External/isl/
Disl_val.c69 isl_int_set_si(v->n, 0); in isl_val_nan()
70 isl_int_set_si(v->d, 0); in isl_val_nan()
87 isl_int_set_si(v->n, 0); in isl_val_set_nan()
88 isl_int_set_si(v->d, 0); in isl_val_set_nan()
103 isl_int_set_si(v->n, 1); in isl_val_infty()
104 isl_int_set_si(v->d, 0); in isl_val_infty()
119 isl_int_set_si(v->n, -1); in isl_val_neginfty()
120 isl_int_set_si(v->d, 0); in isl_val_neginfty()
135 isl_int_set_si(v->n, i); in isl_val_int_from_si()
136 isl_int_set_si(v->d, 1); in isl_val_int_from_si()
[all …]
Disl_seq.c18 isl_int_set_si(p[i], 0); in isl_seq_clr()
25 isl_int_set_si(p[i], v); in isl_seq_set_si()
217 isl_int_set_si(*max, 0); in isl_seq_abs_max()
243 isl_int_set_si(*gcd, 0); in isl_seq_gcd()
271 isl_int_set_si(*lcm, 1); in isl_seq_lcm()
284 isl_int_set_si(*prod, 0); in isl_seq_inner_product()
329 isl_int_set_si(p[1 + pos], 0); in isl_seq_substitute()
Disl_equalities.c81 isl_int_set_si(C->row[0][0], 1); in particular_solution()
562 isl_int_set_si(C->row[0][0], 1); in isl_mat_final_variable_compression()
750 isl_int_set_si(*modulo, 0); in isl_basic_set_dim_residue_class()
767 isl_int_set_si(*modulo, 1); in isl_basic_set_dim_residue_class()
769 isl_int_set_si(*residue, 0); in isl_basic_set_dim_residue_class()
778 isl_int_set_si(C->row[0][0], 1); in isl_basic_set_dim_residue_class()
794 isl_int_set_si(*modulo, 1); in isl_basic_set_dim_residue_class()
795 isl_int_set_si(*residue, 0); in isl_basic_set_dim_residue_class()
828 isl_int_set_si(*modulo, 0); in isl_set_dim_residue_class()
829 isl_int_set_si(*residue, 0); in isl_set_dim_residue_class()
[all …]
Disl_transitive_closure.c87 isl_int_set_si(c[0], -length); in set_path_length()
88 isl_int_set_si(c[1 + nparam + d - 1], -1); in set_path_length()
89 isl_int_set_si(c[1 + nparam + d + d - 1], 1); in set_path_length()
248 isl_int_set_si(path->div[k][0], 0); in path_along_steps()
259 isl_int_set_si(path->eq[k][1 + nparam + i], 1); in path_along_steps()
260 isl_int_set_si(path->eq[k][1 + nparam + d + i], -1); in path_along_steps()
263 isl_int_set_si(path->eq[k][1 + nparam + 2 * d + j], 1); in path_along_steps()
275 isl_int_set_si(path->ineq[k][1 + nparam + 2 * d + i], 1); in path_along_steps()
602 isl_int_set_si(path->div[k][0], 0); in path_along_delta()
613 isl_int_set_si(path->eq[k][1 + nparam + i], 1); in path_along_delta()
[all …]
Disl_val_gmp.c16 isl_int_set_si(v->d, 1); in isl_val_int_from_gmp()
81 isl_int_set_si(v->d, 1); in isl_val_int_from_chunks()
Disl_scan.c79 isl_int_set_si(sample->el[0], 1); in scan_0D()
195 isl_int_set_si(B->row[1 + level][0], 0); in isl_basic_set_scan()
262 isl_int_set_si(cnt.count, 0); in isl_basic_set_count_upto()
288 isl_int_set_si(cnt.count, 0); in isl_set_count_upto()
Disl_ctx.c231 isl_int_set_si(ctx->zero, 0); in isl_ctx_alloc_with_options()
234 isl_int_set_si(ctx->one, 1); in isl_ctx_alloc_with_options()
237 isl_int_set_si(ctx->two, 2); in isl_ctx_alloc_with_options()
240 isl_int_set_si(ctx->negone, -1); in isl_ctx_alloc_with_options()
Disl_convex_hull.c223 isl_int_set_si(lp->eq[k][0], -1); in wrap_constraints()
225 isl_int_set_si(lp->eq[k][1+dim*i], 0); in wrap_constraints()
226 isl_int_set_si(lp->eq[k][1+dim*i+1], 1); in wrap_constraints()
232 isl_int_set_si(lp->ineq[k][1+dim*i], 1); in wrap_constraints()
331 isl_int_set_si(T->row[0][0], 1); in isl_set_wrap_facet()
344 isl_int_set_si(obj->block.data[0], 0); in isl_set_wrap_facet()
347 isl_int_set_si(obj->block.data[1 + dim*i+2], 1); in isl_set_wrap_facet()
406 isl_int_set_si(bounds->row[0][1 + dim - 1], 1); in initial_facet_constraint()
498 isl_int_set_si(m->row[0][0], 1); in compute_facet()
784 isl_int_set_si(hull->ineq[k][(i+1)*(1+dim)], 1); in convex_hull_pair_elim()
[all …]
Dpip.c208 isl_int_set_si(opt->el[0], 1); in opt_at()
209 isl_int_set_si(obj->el[0], 0); in opt_at()
215 isl_int_set_si(obj->el[1 + i], 1); in opt_at()
308 isl_int_set_si(count_max, 2000); in check_solution()
Disl_farkas.c265 isl_int_set_si(dual->div[k][0], 0); in farkas()
273 isl_int_set_si(dual->eq[k][1 + shift + i], -1); in farkas()
288 isl_int_set_si(dual->ineq[k][1 + shift + total + bset->n_eq + i], 1); in farkas()
296 isl_int_set_si(dual->ineq[k][1], 1); in farkas()
615 isl_int_set_si(lcm, 1); in add_vertex()
622 isl_int_set_si(bset->ineq[k][0], 0); in add_vertex()
Disl_val_imath.c17 isl_int_set_si(v->d, 1); in isl_val_int_from_chunks()
Disl_tab_lexopt_templ.c108 isl_int_set_si(bmap->ineq[k][1 + n_in], 1); in SF()
120 isl_int_set_si(dom->ineq[k][1 + n_in], -1); in SF()
Disl_point.c103 isl_int_set_si(vec->el[0], 1); in isl_point_zero()
704 isl_int_set_si(bset->ineq[k][1 + i], -1); in isl_basic_set_box_from_points()
707 isl_int_set_si(bset->ineq[k][1 + i], 1); in isl_basic_set_box_from_points()
717 isl_int_set_si(bset->ineq[k][1 + i], 1); in isl_basic_set_box_from_points()
720 isl_int_set_si(bset->ineq[k][1 + i], -1); in isl_basic_set_box_from_points()
Disl_val_sioimath.c18 isl_int_set_si(v->d, 1); in isl_val_int_from_chunks()
Dbasis_reduction_tab.c186 isl_int_set_si(lp->row->el[0], 0); in solve_lp()
224 isl_int_set_si(lp->row->el[0], 0); in cut_lp_to_hyperplane()
272 isl_int_set_si(lp->row->el[0], 0); in add_lp_row()
Disl_sample.c50 isl_int_set_si(sample->el[0], 1); in zero_sample()
79 isl_int_set_si(sample->block.data[0], 1); in interval_sample()
294 isl_int_set_si(tab->basis->row[1 + level][0], 0); in greedy_search()
496 isl_int_set_si(tab->basis->row[1 + level][0], 0); in isl_tab_sample()
594 isl_int_set_si(data.sample->el[0], 1); in factored_sample()
718 isl_int_set_si(T->row[sample->size + i][1 + i], 1); in plug_in()
997 isl_int_set_si(*s, 0); in vec_sum_of_neg()
Dpolyhedron_minimize.c33 isl_int_set_si(aff->el[0], 0); in isl_vec_lin_to_aff()
Disl_map.c1872 isl_int_set_si(bmap->div[k][div->size], 0); in isl_basic_map_insert_div()
2137 isl_int_set_si(bmap->eq[i][0], 1); in isl_basic_map_set_to_empty()
2687 isl_int_set_si(bmap->ineq[k][1 + total + div], 1); in insert_bounds_on_div_from_ineq()
2699 isl_int_set_si(bmap->ineq[k][1 + total + div], -1); in insert_bounds_on_div_from_ineq()
4802 isl_int_set_si(bmap->eq[j][1+nparam+n_in+i], -1); in isl_basic_map_sum()
4803 isl_int_set_si(bmap->eq[j][1+pos+i], 1); in isl_basic_map_sum()
4804 isl_int_set_si(bmap->eq[j][1+pos-n_out+i], 1); in isl_basic_map_sum()
4959 isl_int_set_si(result->ineq[j][1+pos+i], 1); in isl_basic_map_floordiv()
4965 isl_int_set_si(result->ineq[j][1+pos+i], -1); in isl_basic_map_floordiv()
5038 isl_int_set_si(bmap->eq[i][1+nparam+pos], -1); in var_equal()
[all …]
Disl_vec.c121 isl_int_set_si(vec->el[pos + i], 0); in isl_vec_expand()
293 isl_int_set_si(vec->el[pos], v); in isl_vec_set_element_si()
450 isl_int_set_si(vec->el[0], 1); in isl_vec_ceil()
Disl_scheduler.c877 isl_int_set_si(v->el[i], max); in compute_max_coefficient()
2704 isl_int_set_si(graph->lp->ineq[k][1 + pos], -1); in add_bound_constant_constraints()
2705 isl_int_set_si(graph->lp->ineq[k][0], max); in add_bound_constant_constraints()
2784 isl_int_set_si(graph->lp->ineq[k][dim], -1); in node_add_coefficient_constraints()
2785 isl_int_set_si(graph->lp->ineq[k][0], max); in node_add_coefficient_constraints()
2798 isl_int_set_si(ineq->el[pos], 1); in node_add_coefficient_constraints()
2799 isl_int_set_si(ineq->el[pos + 1], -1); in node_add_coefficient_constraints()
2869 isl_int_set_si(graph->lp->eq[k][1 + sum_pos], -1); in add_sum_constraint()
2871 isl_int_set_si(graph->lp->eq[k][1 + first + i], 1); in add_sum_constraint()
2893 isl_int_set_si(graph->lp->eq[k][1 + sum_pos], -1); in add_param_sum_constraint()
[all …]
Disl_tab_pip.c705 isl_int_set_si(mat->row[0][0], 1); in sol_add()
850 isl_int_set_si(line[1 + i], 0); in get_row_parameter_line()
858 isl_int_set_si(line[1 + tab->n_param + i], 0); in get_row_parameter_line()
1049 isl_int_set_si(tab->mat->row[row][0], 1); in set_row_cst_to_div()
1844 isl_int_set_si(r_row[2], 0); in add_cut()
2230 isl_int_set_si(r_row[2], 0); in add_parametric_cut()
2738 isl_int_set_si(ineq->el[1 + i], 1); in tab_detect_nonnegative_parameters()
2750 isl_int_set_si(ineq->el[1 + i], 0); in tab_detect_nonnegative_parameters()
2978 isl_int_set_si(bset->eq[i][0], 0); in drop_constant_terms()
2981 isl_int_set_si(bset->ineq[i][0], 0); in drop_constant_terms()
[all …]
Disl_tab.c1781 isl_int_set_si(tab->mat->row[i][off + tab->n_col], 0); in isl_tab_insert_var()
1838 isl_int_set_si(row[0], 1); in isl_tab_add_row()
1931 isl_int_set_si(cst, 0); in isl_tab_add_ineq()
2107 isl_int_set_si(row[0], 1); in add_zero_row()
2137 isl_int_set_si(cst, 0); in isl_tab_add_eq()
2465 isl_int_set_si(cst, 0); in isl_tab_from_recession_cone()
2562 isl_int_set_si(vec->block.data[0], 1); in extract_integer_sample()
2565 isl_int_set_si(vec->block.data[1 + i], 0); in extract_integer_sample()
2591 isl_int_set_si(vec->block.data[0], 1); in isl_tab_get_sample_value()
2595 isl_int_set_si(vec->block.data[1 + i], 0); in isl_tab_get_sample_value()
[all …]
Disl_affine_hull.c282 isl_int_set_si(sample->el[0], 1); in outside_point()
334 isl_int_set_si(bset->eq[i][0], 0); in isl_basic_set_recession_cone()
337 isl_int_set_si(bset->ineq[i][0], 0); in isl_basic_set_recession_cone()
1045 isl_int_set_si(bmap->div[div][0], 0); in add_strides()
Disl_polynomial.c311 isl_int_set_si(cst->n, 0); in isl_poly_zero()
312 isl_int_set_si(cst->d, 1); in isl_poly_zero()
325 isl_int_set_si(cst->n, 1); in isl_poly_one()
326 isl_int_set_si(cst->d, 1); in isl_poly_one()
339 isl_int_set_si(cst->n, 1); in isl_poly_infty()
340 isl_int_set_si(cst->d, 0); in isl_poly_infty()
353 isl_int_set_si(cst->n, -1); in isl_poly_neginfty()
354 isl_int_set_si(cst->d, 0); in isl_poly_neginfty()
367 isl_int_set_si(cst->n, 0); in isl_poly_nan()
368 isl_int_set_si(cst->d, 0); in isl_poly_nan()
[all …]
Disl_int_gmp.h15 #define isl_int_set_si(r,i) mpz_set_si(r,i) macro

12