Home
last modified time | relevance | path

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

1234

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_sample.c66 bset = isl_basic_set_simplify(bset); in interval_sample()
67 if (!bset) in interval_sample()
71 if (bset->n_eq == 0 && bset->n_ineq == 0) in interval_sample()
77 if (!bset) in interval_sample()
82 isl_assert(bset->ctx, bset->n_eq == 1, goto error); in interval_sample()
83 isl_assert(bset->ctx, bset->n_ineq == 0, goto error); in interval_sample()
133 if (!bset) in sample_eq()
639 bset = isl_basic_set_free(bset); in sample_bounded()
722 bset = isl_basic_set_preimage(bset, T); in plug_in()
981 bset = plug_in(bset, isl_vec_copy(sample)); in isl_basic_set_sample_with_cone()
[all …]
H A Disl_farkas.c219 bset = isl_basic_set_set_rational(bset); in rational_universe()
221 return bset; in rational_universe()
261 for (i = 0; i < bset->n_eq + bset->n_ineq; ++i) { in farkas()
287 1 + shift + total + bset->n_eq + bset->n_ineq); in farkas()
822 bset = isl_basic_set_move_dims(bset, isl_dim_set, 0, in basic_set_coefficients()
844 if (!bset) in isl_basic_set_coefficients()
854 bset = basic_set_coefficients(bset); in isl_basic_set_coefficients()
855 bset = isl_basic_set_reset_space(bset, space); in isl_basic_set_coefficients()
871 if (!bset) in isl_basic_set_solutions()
881 bset = farkas(bset, -1); in isl_basic_set_solutions()
[all …]
H A Dpip.c118 return bset; in move_parameters()
122 bset = isl_basic_set_move_dims(bset, isl_dim_param, 0, in move_parameters()
124 return bset; in move_parameters()
140 bset = isl_basic_set_free(bset); in plug_in_parameters()
142 bset = isl_basic_set_fix(bset, in plug_in_parameters()
149 return bset; in plug_in_parameters()
193 bset = plug_in_parameters(bset, params); in opt_at()
317 sp.bset = bset; in check_solution()
370 bset = isl_basic_set_set_rational(bset); in main()
381 bset = move_parameters(bset, context); in main()
[all …]
H A Disl_morph.c485 if (!bset) in isl_basic_set_variable_compression()
575 if (!bset) in isl_basic_set_parameter_compression()
600 H = isl_mat_sub_alloc6(bset->ctx, bset->eq, in isl_basic_set_parameter_compression()
656 bset = isl_basic_set_move_dims(bset, isl_dim_set, 0, in isl_morph_basic_set()
658 bset = isl_basic_set_preimage_multi_aff(bset, ma); in isl_morph_basic_set()
660 bset = isl_basic_set_reset_space(bset, space); in isl_morph_basic_set()
664 return bset; in isl_morph_basic_set()
771 bset = isl_basic_set_copy(bset); in isl_basic_set_full_compression()
772 bset = isl_basic_set_detect_equalities(bset); in isl_basic_set_full_compression()
775 bset = isl_morph_basic_set(isl_morph_copy(morph), bset); in isl_basic_set_full_compression()
[all …]
H A Disl_ilp.c41 if (!bset) in unit_box_base_points()
117 bset = isl_basic_set_extend_constraints(bset, 0, 2); in add_bounds()
123 isl_int_sub(bset->ineq[k][0], bset->ineq[k][0], l); in add_bounds()
129 isl_int_add(bset->ineq[k][0], bset->ineq[k][0], u); in add_bounds()
131 return bset; in add_bounds()
219 res = isl_basic_set_solve_lp(bset, 0, f, bset->ctx->one, in solve_ilp()
275 bset = isl_basic_set_copy(bset); in solve_ilp_with_eq()
283 bset = isl_basic_set_remove_equalities(bset, &T, NULL); in solve_ilp_with_eq()
353 bset = isl_basic_set_copy(bset); in basic_set_opt()
354 bset = isl_basic_set_underlying_set(bset); in basic_set_opt()
[all …]
H A Disl_affine_hull.c102 bset->n_eq--; in delete_row()
104 bset->eq[r] = bset->eq[r+1]; in delete_row()
105 bset->eq[bset->n_eq] = t; in delete_row()
329 bset = isl_basic_set_cow(bset); in isl_basic_set_recession_cone()
460 if (bset) in extend_affine_hull()
513 if (bset->sample && bset->sample->size == 1 + dim) { in uset_affine_hull_bounded()
602 isl_int_neg(bset->eq[k][0], bset->eq[k][0]); in initial_hull()
605 bset = isl_basic_set_gauss(bset, NULL); in initial_hull()
760 if (bset && bset->sample && bset->sample->size == 1 + total) in affine_hull_with_cone()
830 bset = isl_basic_set_free(bset); in uset_affine_hull()
[all …]
H A Disl_vertices.c96 vertices->bset = isl_basic_set_copy(bset); in vertices_from_list()
173 if (!bset) in vertices_empty()
179 vertices->bset = isl_basic_set_copy(bset); in vertices_empty()
205 vertices->bset = isl_basic_set_copy(bset); in vertices_0D()
369 bset = isl_basic_set_copy(bset); in detect_implicit_equality_constraints()
370 bset = isl_basic_set_cow(bset); in detect_implicit_equality_constraints()
371 bset = isl_basic_set_update_from_tab(bset, tab); in detect_implicit_equality_constraints()
767 todo->bset = isl_basic_set_cow(todo->bset); in create_todo()
936 bset = isl_basic_set_params(bset); in compute_chambers()
1187 tab = isl_tab_alloc(bset->ctx, bset->n_eq + bset->n_ineq + 1, in tab_for_shifted_cone()
[all …]
H A Disl_factorization.c50 f->bset = isl_basic_set_copy(bset); in isl_factorizer_alloc()
67 isl_basic_set_free(f->bset); in isl_factorizer_free()
93 return isl_factorizer_alloc(bset, isl_morph_identity(bset), 0); in isl_factorizer_identity()
270 __isl_keep isl_basic_set *bset) in isl_basic_set_factorizer() argument
285 H = isl_mat_alloc(bset->ctx, bset->n_eq + bset->n_ineq, nvar); in isl_basic_set_factorizer()
288 isl_mat_sub_copy(bset->ctx, H->row, bset->eq, bset->n_eq, in isl_basic_set_factorizer()
290 isl_mat_sub_copy(bset->ctx, H->row + bset->n_eq, bset->ineq, bset->n_ineq, in isl_basic_set_factorizer()
354 isl_basic_set *bset; in isl_factorizer_every_factor_basic_set() local
363 bset = isl_basic_set_copy(f->bset); in isl_factorizer_every_factor_basic_set()
364 bset = isl_morph_basic_set(isl_morph_copy(f->morph), bset); in isl_factorizer_every_factor_basic_set()
[all …]
H A Disl_constraint.c832 if (!isl_seq_is_neg(bset->ineq[i]+1, bset->ineq[j]+1, in isl_basic_set_has_defining_inequalities()
835 isl_int_add(m, bset->ineq[i][0], bset->ineq[j][0]); in isl_basic_set_has_defining_inequalities()
893 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1); in add_larger_bound_constraint()
897 return bset; in add_larger_bound_constraint()
924 bset->ineq[j], bset->ineq[u], abs_pos, j > u); in set_smallest_upper_bound()
954 bset->ineq[l], bset->ineq[j], abs_pos, j > l); in set_largest_lower_bound()
985 &bset->ineq[i]); in foreach_upper_bound()
994 if (i < bset->n_ineq) in foreach_upper_bound()
1027 &bset->ineq[i]); in foreach_lower_bound()
1079 bset->ineq[i], bset->ineq[j], abs_pos, 0); in foreach_bound_pair()
[all …]
H A Disl_lp.c224 if (!bset || !obj) in basic_set_opt_lp()
267 if (!bset || !obj) in isl_basic_set_opt_lp_val_aligned()
282 bset = isl_basic_set_copy(bset); in isl_basic_set_opt_lp_val_aligned()
293 bset = isl_basic_set_expand_divs(bset, isl_mat_copy(div), exp1); in isl_basic_set_opt_lp_val_aligned()
296 res = basic_set_opt_lp(bset, max, obj); in isl_basic_set_opt_lp_val_aligned()
302 isl_basic_set_free(bset); in isl_basic_set_opt_lp_val_aligned()
311 isl_basic_set_free(bset); in isl_basic_set_opt_lp_val_aligned()
329 if (!bset || !obj) in isl_basic_set_opt_lp_val()
338 bset = isl_basic_set_copy(bset); in isl_basic_set_opt_lp_val()
340 bset = isl_basic_set_align_params(bset, isl_aff_get_domain_space(obj)); in isl_basic_set_opt_lp_val()
[all …]
H A Disl_bound.c93 if (!bset || !poly) in compressed_guarded_poly_bound()
114 isl_basic_set_free(bset); in compressed_guarded_poly_bound()
129 bset = isl_basic_set_detect_equalities(bset); in unwrapped_guarded_poly_bound()
131 if (!bset) in unwrapped_guarded_poly_bound()
134 if (bset->n_eq == 0) in unwrapped_guarded_poly_bound()
139 bset = isl_morph_basic_set(isl_morph_copy(morph), bset); in unwrapped_guarded_poly_bound()
170 isl_basic_set_free(bset); in unwrapped_guarded_poly_bound()
213 bset = isl_basic_set_reset_space(bset, space); in guarded_poly_bound()
215 bset = isl_basic_set_move_dims(bset, isl_dim_param, nparam, in guarded_poly_bound()
244 isl_basic_set_free(bset); in guarded_poly_bound()
[all …]
H A Disl_range.c43 bset = isl_basic_set_copy(bset); in has_sign()
46 bset = isl_basic_set_move_dims(bset, isl_dim_set, 0, in has_sign()
276 bset = isl_basic_set_params(bset); in add_guarded_poly()
280 set = isl_set_from_basic_set(bset); in add_guarded_poly()
416 isl_basic_set_free(bset); in propagate_on_bound_pair()
437 ctx = isl_basic_set_get_ctx(bset); in propagate_on_domain()
441 bset = isl_basic_set_project_out(bset, isl_dim_set, 0, d); in propagate_on_domain()
458 isl_basic_set_free(bset); in propagate_on_domain()
465 isl_basic_set_free(bset); in propagate_on_domain()
487 ctx = isl_basic_set_get_ctx(bset); in basic_guarded_poly_bound()
[all …]
H A Dpolytope_scan.c52 __isl_take isl_basic_set *bset) in isl_basic_set_scan_samples() argument
58 ctx = isl_basic_set_get_ctx(bset); in isl_basic_set_scan_samples()
59 dim = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_scan_samples()
74 isl_basic_set_free(bset); in isl_basic_set_scan_samples()
83 if (!bset) in isl_basic_set_samples()
86 if (bset->n_eq == 0) in isl_basic_set_samples()
87 return isl_basic_set_scan_samples(bset); in isl_basic_set_samples()
89 bset = isl_basic_set_remove_equalities(bset, &T, NULL); in isl_basic_set_samples()
90 samples = isl_basic_set_scan_samples(bset); in isl_basic_set_samples()
97 struct isl_basic_set *bset; in main() local
[all …]
H A Disl_equalities.c645 return bset; in return_with_identity()
654 return bset; in return_with_identity()
681 isl_assert(bset->ctx, bset->n_eq <= dim, goto error); in compress_variables()
685 B = isl_mat_sub_alloc6(bset->ctx, bset->eq, 0, bset->n_eq, 0, 1 + dim); in compress_variables()
695 bset = isl_basic_set_set_to_empty(bset); in compress_variables()
702 return bset; in compress_variables()
718 bset = isl_basic_set_gauss(bset, NULL); in isl_basic_set_remove_equalities()
721 bset = compress_variables(bset, T, T2); in isl_basic_set_remove_equalities()
722 return bset; in isl_basic_set_remove_equalities()
791 bset = isl_basic_set_copy(bset); in isl_basic_set_dim_residue_class()
[all …]
H A Disl_map_private.h126 __isl_take isl_basic_set *bset);
129 __isl_take isl_basic_set *bset);
144 __isl_take isl_basic_set *bset);
192 __isl_keep isl_basic_set *bset);
194 __isl_keep isl_basic_set *bset);
271 __isl_take isl_basic_set *bset);
285 __isl_take isl_basic_set *bset);
302 __isl_take isl_basic_set *bset);
310 __isl_take isl_basic_set *bset);
323 __isl_take isl_basic_set *bset);
[all …]
H A Disl_scan.c73 sample = isl_vec_alloc(bset->ctx, 1); in scan_0D()
74 isl_basic_set_free(bset); in scan_0D()
115 dim = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_scan()
117 bset = isl_basic_set_free(bset); in isl_basic_set_scan()
122 return scan_0D(bset, callback); in isl_basic_set_scan()
124 min = isl_vec_alloc(bset->ctx, dim); in isl_basic_set_scan()
125 max = isl_vec_alloc(bset->ctx, dim); in isl_basic_set_scan()
131 tab = isl_tab_from_basic_set(bset, 0); in isl_basic_set_scan()
212 isl_basic_set_free(bset); in isl_basic_set_scan()
220 isl_basic_set_free(bset); in isl_basic_set_scan()
[all …]
H A Dpolyhedron_remove_redundant_equalities.c24 isl_basic_set *bset; in main() local
32 bset = isl_basic_set_read_from_file(ctx, stdin); in main()
34 morph = isl_basic_set_variable_compression(bset, isl_dim_set); in main()
35 bset = isl_morph_basic_set(morph, bset); in main()
38 p = isl_printer_print_basic_set(p, bset); in main()
42 isl_basic_set_free(bset); in main()
H A Disl_bernstein.c369 __isl_take isl_basic_set *bset, in bernstein_coefficients_base() argument
381 bset = isl_basic_set_free(bset); in bernstein_coefficients_base()
387 bset = isl_basic_set_free(bset); in bernstein_coefficients_base()
406 isl_basic_set_free(bset); in bernstein_coefficients_base()
469 __isl_take isl_basic_set *bset, in bernstein_coefficients_factors() argument
478 f = isl_basic_set_factorizer(bset); in bernstein_coefficients_factors()
486 set = isl_set_from_basic_set(bset); in bernstein_coefficients_factors()
497 isl_basic_set_free(bset); in bernstein_coefficients_factors()
503 __isl_take isl_basic_set *bset, in bernstein_coefficients_full_recursive() argument
534 isl_basic_set_free(bset); in bernstein_coefficients_full_recursive()
[all …]
H A Dpolyhedron_detect_equalities.c15 struct isl_basic_set *bset; in main() local
18 bset = isl_basic_set_read_from_file(ctx, stdin); in main()
19 bset = isl_basic_set_detect_equalities(bset); in main()
23 p = isl_printer_print_basic_set(p, bset); in main()
26 isl_basic_set_free(bset); in main()
H A Disl_point.c616 isl_basic_set *bset; in isl_basic_set_from_point() local
624 bset = isl_basic_set_from_underlying_set(bset, model); in isl_basic_set_from_point()
627 return bset; in isl_basic_set_from_point()
632 isl_basic_set *bset; in isl_set_from_point() local
666 isl_basic_set *bset = NULL; in isl_basic_set_box_from_points() local
718 isl_int_fdiv_q(bset->ineq[k][0], bset->ineq[k][0], pnt1->vec->el[0]); in isl_basic_set_box_from_points()
731 isl_int_fdiv_q(bset->ineq[k][0], bset->ineq[k][0], pnt2->vec->el[0]); in isl_basic_set_box_from_points()
734 bset = isl_basic_set_finalize(bset); in isl_basic_set_box_from_points()
741 return bset; in isl_basic_set_box_from_points()
746 isl_basic_set_free(bset); in isl_basic_set_box_from_points()
[all …]
H A Disl_map.c388 return bset ? bset->ctx : NULL; in isl_basic_set_get_ctx()
2255 bset = isl_basic_set_cow(bset); in isl_basic_set_set_integral()
3386 bset->ref, bset->dim->nparam, bset->dim->n_out, in isl_basic_set_print_internal()
3387 bset->extra, bset->flags); in isl_basic_set_print_internal()
3603 bset->n_div, bset->n_eq, bset->n_ineq); in isl_basic_map_intersect_domain()
3656 bset->n_div, bset->n_eq, bset->n_ineq); in isl_basic_map_intersect_range()
5739 bset = isl_basic_set_cow(bset); in isl_basic_map_overlying_set()
7779 bset = isl_basic_set_cow(bset); in parameter_compute_divs()
7799 eq = isl_mat_sub_alloc6(bset->ctx, bset->eq, i, bset->n_eq - i, in parameter_compute_divs()
11323 bset = isl_basic_set_cow(bset); in isl_basic_set_lift()
[all …]
H A Disl_map_simplify.c2023 bset = isl_basic_set_cow(bset); in isl_basic_set_reduce_using_equalities()
2040 bset = isl_basic_set_simplify(bset); in isl_basic_set_reduce_using_equalities()
2041 bset = isl_basic_set_finalize(bset); in isl_basic_set_reduce_using_equalities()
2120 bset = isl_basic_set_cow(bset); in remove_shifted_constraints()
2475 bset = isl_basic_set_gauss(bset, NULL); in update_ineq()
2476 bset = isl_basic_set_finalize(bset); in update_ineq()
2491 bset = update_ineq(bset, row, tab); in update_ineq_free()
2740 bset = isl_basic_set_cow(bset); in uset_gist_compressed()
2822 bset = isl_basic_set_detect_equalities(bset); in uset_gist()
2836 bset = isl_basic_set_sort_constraints(bset); in uset_gist()
[all …]
H A Disl_convex_hull.c815 if (!bset) in isl_basic_set_is_bounded()
1150 bset = isl_basic_set_extend_constraints(bset, 0, 1); in homogeneous_map()
1156 bset = isl_basic_set_preimage(bset, T); in homogeneous_map()
1157 return bset; in homogeneous_map()
2073 isl_seq_neg(bset->eq[i], bset->eq[i], 1 + dim); in hash_basic_set()
2074 if (hash_ineq(bset->ctx, table, bset->eq[i], dim) < 0) in hash_basic_set()
2319 bset = add_bound(bset, data, set, i, set->p[i]->eq[j], in add_bounds()
2325 return bset; in add_bounds()
2838 if (!bset) in collect_inequalities()
2902 if (!bset) in uset_unshifted_simple_hull_from_basic_set_list()
[all …]
H A Dpolyhedron_sample.c18 struct isl_basic_set *bset; in main() local
22 bset = isl_basic_set_read_from_file(ctx, stdin); in main()
23 sample = isl_basic_set_sample_vec(isl_basic_set_copy(bset)); in main()
30 assert(isl_basic_set_contains(bset, sample)); in main()
31 isl_basic_set_free(bset); in main()
/llvm-project-15.0.7/polly/lib/External/isl/include/isl/
H A Dset.h53 __isl_keep isl_basic_set *bset);
65 __isl_take isl_basic_set *bset,
117 __isl_take isl_basic_set *bset,
123 __isl_take isl_basic_set *bset);
125 __isl_take isl_basic_set *bset,
133 __isl_take isl_basic_set *bset);
360 __isl_take isl_basic_set *bset,
392 __isl_take isl_basic_set *bset,
401 __isl_take isl_basic_set *bset,
413 __isl_take isl_basic_set *bset,
[all …]

1234