Home
last modified time | relevance | path

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

12345

/external/llvm-project/polly/lib/External/isl/
Disl_sample.c27 static __isl_give isl_vec *empty_sample(__isl_take isl_basic_set *bset) in empty_sample() argument
31 vec = isl_vec_alloc(bset->ctx, 0); in empty_sample()
32 isl_basic_set_free(bset); in empty_sample()
40 static __isl_give isl_vec *zero_sample(__isl_take isl_basic_set *bset) in zero_sample() argument
45 dim = isl_basic_set_dim(bset, isl_dim_all); in zero_sample()
48 sample = isl_vec_alloc(bset->ctx, 1 + dim); in zero_sample()
53 isl_basic_set_free(bset); in zero_sample()
56 isl_basic_set_free(bset); in zero_sample()
60 static __isl_give isl_vec *interval_sample(__isl_take isl_basic_set *bset) in interval_sample() argument
66 bset = isl_basic_set_simplify(bset); in interval_sample()
[all …]
Disl_farkas.c216 isl_basic_set *bset; in rational_universe() local
218 bset = isl_basic_set_universe(space); in rational_universe()
219 bset = isl_basic_set_set_rational(bset); in rational_universe()
221 return bset; in rational_universe()
237 static __isl_give isl_basic_set *farkas(__isl_take isl_basic_set *bset, in farkas() argument
246 total = isl_basic_set_dim(bset, isl_dim_all); in farkas()
248 return isl_basic_set_free(bset); in farkas()
250 ctx = isl_basic_set_get_ctx(bset); in farkas()
252 if (isl_basic_set_plain_is_empty(bset)) { in farkas()
253 isl_basic_set_free(bset); in farkas()
[all …]
Dpip.c66 static __isl_give isl_basic_set *set_bounds(__isl_take isl_basic_set *bset) in ISL_ARGS_START()
73 nparam = isl_basic_set_dim(bset, isl_dim_param); in ISL_ARGS_START()
75 return isl_basic_set_free(bset); in ISL_ARGS_START()
78 pt = isl_basic_set_sample_point(isl_basic_set_copy(bset)); in ISL_ARGS_START()
88 return isl_basic_set_intersect(bset, box); in ISL_ARGS_START()
108 static __isl_give isl_basic_set *move_parameters(__isl_take isl_basic_set *bset, in move_parameters() argument
114 nparam_bset = isl_basic_set_dim(bset, isl_dim_param); in move_parameters()
116 return isl_basic_set_free(bset); in move_parameters()
118 return bset; in move_parameters()
119 dim = isl_basic_set_dim(bset, isl_dim_set); in move_parameters()
[all …]
Disl_morph.c344 __isl_give isl_morph *isl_morph_identity(__isl_keep isl_basic_set *bset) in isl_morph_identity() argument
350 total = isl_basic_set_dim(bset, isl_dim_all); in isl_morph_identity()
354 id = isl_mat_identity(bset->ctx, 1 + total); in isl_morph_identity()
355 universe = isl_basic_set_universe(isl_space_copy(bset->dim)); in isl_morph_identity()
364 __isl_give isl_morph *isl_morph_empty(__isl_keep isl_basic_set *bset) in isl_morph_empty() argument
370 total = isl_basic_set_dim(bset, isl_dim_all); in isl_morph_empty()
374 id = isl_mat_identity(bset->ctx, 1 + total); in isl_morph_empty()
375 empty = isl_basic_set_empty(isl_space_copy(bset->dim)); in isl_morph_empty()
384 static __isl_give isl_basic_set *copy_equalities(__isl_keep isl_basic_set *bset, in copy_equalities() argument
391 total = isl_basic_set_dim(bset, isl_dim_all); in copy_equalities()
[all …]
Disl_ilp.c35 __isl_take isl_basic_set *bset) in unit_box_base_points() argument
41 if (!bset) in unit_box_base_points()
44 if (bset->n_eq != 0) { in unit_box_base_points()
45 isl_space *space = isl_basic_set_get_space(bset); in unit_box_base_points()
46 isl_basic_set_free(bset); in unit_box_base_points()
50 total = isl_basic_set_dim(bset, isl_dim_all); in unit_box_base_points()
53 unit_box = isl_basic_set_alloc_space(isl_basic_set_get_space(bset), in unit_box_base_points()
54 0, 0, bset->n_ineq); in unit_box_base_points()
56 for (i = 0; i < bset->n_ineq; ++i) { in unit_box_base_points()
60 isl_seq_cpy(unit_box->ineq[k], bset->ineq[i], 1 + total); in unit_box_base_points()
[all …]
Disl_affine_hull.c63 __isl_take isl_basic_set *bset) in isl_basic_set_implicit_equalities() argument
66 isl_basic_map_implicit_equalities(bset_to_bmap(bset))); in isl_basic_set_implicit_equalities()
96 static void delete_row(__isl_keep isl_basic_set *bset, unsigned row) in delete_row() argument
101 t = bset->eq[row]; in delete_row()
102 bset->n_eq--; in delete_row()
103 for (r = row; r < bset->n_eq; ++r) in delete_row()
104 bset->eq[r] = bset->eq[r+1]; in delete_row()
105 bset->eq[bset->n_eq] = t; in delete_row()
318 __isl_take isl_basic_set *bset) in isl_basic_set_recession_cone() argument
323 empty = isl_basic_set_plain_is_empty(bset); in isl_basic_set_recession_cone()
[all …]
Disl_vertices.c26 static __isl_give isl_vertices *compute_chambers(__isl_take isl_basic_set *bset,
60 isl_basic_set_free(vertices->bset); in isl_vertices_free()
85 static __isl_give isl_vertices *vertices_from_list(__isl_keep isl_basic_set *bset, in vertices_from_list() argument
92 vertices = isl_calloc_type(bset->ctx, isl_vertices); in vertices_from_list()
96 vertices->bset = isl_basic_set_copy(bset); in vertices_from_list()
97 vertices->v = isl_alloc_array(bset->ctx, struct isl_vertex, n_vertices); in vertices_from_list()
123 __isl_keep isl_basic_set *bset, struct isl_tab *tab) in add_vertex() argument
131 nvar = isl_basic_set_dim(bset, isl_dim_set); in add_vertex()
139 v->v.vertex = isl_basic_set_copy(bset); in add_vertex()
146 isl_assert(bset->ctx, v->v.vertex->n_eq >= nvar, goto error); in add_vertex()
[all …]
Disl_factorization.c27 return isl_basic_set_get_ctx(f->bset); in isl_factorizer_get_ctx()
31 __isl_keep isl_basic_set *bset, __isl_take isl_morph *morph, in isl_factorizer_alloc() argument
50 f->bset = isl_basic_set_copy(bset); in isl_factorizer_alloc()
67 isl_basic_set_free(f->bset); in isl_factorizer_free()
91 __isl_give isl_factorizer *isl_factorizer_identity(__isl_keep isl_basic_set *bset) in isl_factorizer_identity() argument
93 return isl_factorizer_alloc(bset, isl_morph_identity(bset), 0); in isl_factorizer_identity()
96 __isl_give isl_factorizer *isl_factorizer_groups(__isl_keep isl_basic_set *bset, in isl_factorizer_groups() argument
109 nvar = isl_basic_set_dim(bset, isl_dim_set); in isl_factorizer_groups()
113 ovar = 1 + isl_space_offset(bset->dim, isl_dim_set); in isl_factorizer_groups()
114 id = isl_mat_identity(bset->ctx, ovar); in isl_factorizer_groups()
[all …]
Disl_constraint.c123 __isl_take isl_basic_set *bset, isl_int **line) in isl_basic_set_constraint() argument
125 return isl_basic_map_constraint(bset_to_bmap(bset), line); in isl_basic_set_constraint()
201 isl_size isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset) in isl_basic_set_n_constraint() argument
203 return isl_basic_map_n_constraint(bset); in isl_basic_set_n_constraint()
239 isl_stat isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset, in isl_basic_set_foreach_constraint() argument
242 return isl_basic_map_foreach_constraint(bset_to_bmap(bset), fn, user); in isl_basic_set_foreach_constraint()
300 __isl_keep isl_basic_set *bset) in isl_basic_set_get_constraint_list() argument
302 return isl_basic_map_get_constraint_list(bset); in isl_basic_set_get_constraint_list()
346 __isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint) in isl_basic_set_add_constraint() argument
348 return bset_from_bmap(isl_basic_map_add_constraint(bset_to_bmap(bset), in isl_basic_set_add_constraint()
[all …]
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()
67 if (isl_basic_set_scan(bset, &ss.callback) < 0) { in isl_basic_set_scan_samples()
74 isl_basic_set_free(bset); in isl_basic_set_scan_samples()
78 static __isl_give isl_mat *isl_basic_set_samples(__isl_take isl_basic_set *bset) in isl_basic_set_samples() argument
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()
[all …]
Disl_lp.c79 enum isl_lp_result isl_basic_set_solve_lp(__isl_keep isl_basic_set *bset, in isl_basic_set_solve_lp() argument
83 return isl_basic_map_solve_lp(bset_to_bmap(bset), max, in isl_basic_set_solve_lp()
218 __isl_keep isl_basic_set *bset, int max, __isl_keep isl_aff *obj) in basic_set_opt_lp() argument
224 if (!bset || !obj) in basic_set_opt_lp()
231 lp_res = isl_basic_set_solve_lp(bset, max, obj->v->el + 1, in basic_set_opt_lp()
257 __isl_keep isl_basic_set *bset, int max, __isl_keep isl_aff *obj) in isl_basic_set_opt_lp_val_aligned() argument
267 if (!bset || !obj) in isl_basic_set_opt_lp_val_aligned()
271 if (!isl_space_is_equal(bset->dim, obj->ls->dim)) in isl_basic_set_opt_lp_val_aligned()
275 bset_n_div = isl_basic_set_dim(bset, isl_dim_div); in isl_basic_set_opt_lp_val_aligned()
280 return basic_set_opt_lp(bset, max, obj); in isl_basic_set_opt_lp_val_aligned()
[all …]
Disl_range.c21 static isl_stat propagate_on_domain(__isl_take isl_basic_set *bset,
29 static isl_bool has_sign(__isl_keep isl_basic_set *bset, in has_sign() argument
39 nparam = isl_basic_set_dim(bset, isl_dim_param); in has_sign()
43 bset = isl_basic_set_copy(bset); in has_sign()
46 bset = isl_basic_set_move_dims(bset, isl_dim_set, 0, in has_sign()
64 if (propagate_on_domain(bset, poly, &data_m) < 0) in has_sign()
96 static int monotonicity(__isl_keep isl_basic_set *bset, in monotonicity() argument
107 nvar = isl_basic_set_dim(bset, isl_dim_set); in monotonicity()
123 s = has_sign(bset, diff, 1, data->signs); in monotonicity()
129 s = has_sign(bset, diff, -1, data->signs); in monotonicity()
[all …]
Disl_bound.c26 static isl_stat compressed_guarded_poly_bound(__isl_take isl_basic_set *bset, in compressed_guarded_poly_bound() argument
32 if (!bset || !poly) in compressed_guarded_poly_bound()
35 if (bset->ctx->opt->bound == ISL_BOUND_RANGE) in compressed_guarded_poly_bound()
36 return isl_qpolynomial_bound_on_domain_range(bset, poly, bound); in compressed_guarded_poly_bound()
38 bounded = isl_basic_set_is_bounded(bset); in compressed_guarded_poly_bound()
42 return isl_qpolynomial_bound_on_domain_bernstein(bset, poly, bound); in compressed_guarded_poly_bound()
44 return isl_qpolynomial_bound_on_domain_range(bset, poly, bound); in compressed_guarded_poly_bound()
46 isl_basic_set_free(bset); in compressed_guarded_poly_bound()
51 static isl_stat unwrapped_guarded_poly_bound(__isl_take isl_basic_set *bset, in unwrapped_guarded_poly_bound() argument
61 bset = isl_basic_set_detect_equalities(bset); in unwrapped_guarded_poly_bound()
[all …]
Disl_equalities.c635 __isl_take isl_basic_set *bset, __isl_give isl_mat **T, in return_with_identity() argument
641 dim = isl_basic_set_dim(bset, isl_dim_set); in return_with_identity()
643 return isl_basic_set_free(bset); in return_with_identity()
645 return bset; in return_with_identity()
647 id = isl_mat_identity(isl_basic_map_get_ctx(bset), 1 + dim); in return_with_identity()
654 return bset; in return_with_identity()
665 __isl_take isl_basic_set *bset, in compress_variables() argument
675 if (isl_basic_set_check_no_params(bset) < 0 || in compress_variables()
676 isl_basic_set_check_no_locals(bset) < 0) in compress_variables()
677 return isl_basic_set_free(bset); in compress_variables()
[all …]
Disl_map_private.h126 __isl_take isl_basic_set *bset);
127 __isl_give isl_basic_set *isl_basic_set_dup(__isl_keep isl_basic_set *bset);
129 __isl_take isl_basic_set *bset);
144 __isl_take isl_basic_set *bset);
151 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *like);
165 __isl_keep isl_space *isl_basic_set_peek_space(__isl_keep isl_basic_set *bset);
170 __isl_take isl_basic_set *bset, __isl_take isl_space *space);
180 isl_size isl_basic_set_var_offset(__isl_keep isl_basic_set *bset,
184 unsigned isl_basic_set_offset(__isl_keep isl_basic_set *bset,
192 __isl_keep isl_basic_set *bset);
[all …]
Disl_scan.c68 static isl_stat scan_0D(__isl_take isl_basic_set *bset, in scan_0D() argument
73 sample = isl_vec_alloc(bset->ctx, 1); in scan_0D()
74 isl_basic_set_free(bset); in scan_0D()
102 isl_stat isl_basic_set_scan(__isl_take isl_basic_set *bset, in isl_basic_set_scan() argument
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()
126 snap = isl_alloc_array(bset->ctx, struct isl_tab_undo *, dim); in isl_basic_set_scan()
[all …]
Disl_map.c61 __isl_keep const isl_basic_set *bset) in const_bset_to_bmap() argument
63 return (const isl_basic_map *) bset; in const_bset_to_bmap()
147 isl_size isl_basic_set_var_offset(__isl_keep isl_basic_set *bset, in isl_basic_set_var_offset() argument
150 return isl_basic_map_var_offset(bset_to_bmap(bset), type); in isl_basic_set_var_offset()
169 unsigned isl_basic_set_offset(__isl_keep isl_basic_set *bset, in isl_basic_set_offset() argument
172 return isl_basic_map_offset(bset, type); in isl_basic_set_offset()
180 isl_size isl_basic_set_dim(__isl_keep isl_basic_set *bset, in isl_basic_set_dim() argument
183 return isl_basic_map_dim(bset, type); in isl_basic_set_dim()
186 isl_size isl_basic_set_n_dim(__isl_keep isl_basic_set *bset) in isl_basic_set_n_dim() argument
188 return isl_basic_set_dim(bset, isl_dim_set); in isl_basic_set_n_dim()
[all …]
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()
Disl_point.c616 isl_basic_set *bset; in isl_basic_set_from_point() local
623 bset = isl_basic_set_from_vec(isl_vec_copy(pnt->vec)); in isl_basic_set_from_point()
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
633 bset = isl_basic_set_from_point(pnt); in isl_set_from_point()
634 return isl_set_from_basic_set(bset); in isl_set_from_point()
658 isl_basic_set *bset = NULL; in isl_basic_set_box_from_points() local
693 bset = isl_basic_set_alloc_space(isl_space_copy(pnt1->dim), 0, 0, 2 * total); in isl_basic_set_box_from_points()
699 k = isl_basic_set_alloc_inequality(bset); in isl_basic_set_box_from_points()
[all …]
Disl_bernstein.c357 __isl_take isl_basic_set *bset, in bernstein_coefficients_base() argument
367 nvar = isl_basic_set_dim(bset, isl_dim_set); in bernstein_coefficients_base()
369 bset = isl_basic_set_free(bset); in bernstein_coefficients_base()
375 dom = isl_set_from_basic_set(bset); in bernstein_coefficients_base()
386 dom = isl_set_from_basic_set(bset); in bernstein_coefficients_base()
393 space = isl_basic_set_get_space(bset); in bernstein_coefficients_base()
401 vertices = isl_basic_set_compute_vertices(bset); in bernstein_coefficients_base()
408 isl_basic_set_free(bset); in bernstein_coefficients_base()
471 __isl_take isl_basic_set *bset, in bernstein_coefficients_factors() argument
480 f = isl_basic_set_factorizer(bset); in bernstein_coefficients_factors()
[all …]
Disl_map_simplify.c108 __isl_take isl_basic_set *bset) in isl_basic_set_normalize_constraints() argument
110 isl_basic_map *bmap = bset_to_bmap(bset); in isl_basic_set_normalize_constraints()
668 __isl_take isl_basic_set *bset, int *progress) in isl_basic_set_gauss() argument
670 return bset_from_bmap(isl_basic_map_gauss(bset_to_bmap(bset), in isl_basic_set_gauss()
764 __isl_keep isl_basic_set *bset, int k) in set_hash_index() argument
766 return hash_index(ci, bset, k); in set_hash_index()
772 __isl_keep isl_basic_set *bset) in setup_constraint_index() argument
776 if (create_constraint_index(ci, bset) < 0) in setup_constraint_index()
779 for (k = 0; k < bset->n_ineq; ++k) { in setup_constraint_index()
780 h = set_hash_index(ci, bset, k); in setup_constraint_index()
[all …]
Disl_convex_hull.c93 __isl_take isl_basic_set *bset) in isl_basic_set_remove_redundancies() argument
96 isl_basic_map_remove_redundancies(bset_to_bmap(bset))); in isl_basic_set_remove_redundancies()
648 struct isl_basic_set *bset = set->p[i]; in convex_hull_1d() local
652 for (j = 0; j < bset->n_eq; ++j) { in convex_hull_1d()
656 isl_int_mul(a, lower[0], bset->eq[j][1]); in convex_hull_1d()
657 isl_int_mul(b, lower[1], bset->eq[j][0]); in convex_hull_1d()
658 if (isl_int_lt(a, b) && isl_int_is_pos(bset->eq[j][1])) in convex_hull_1d()
659 isl_seq_cpy(lower, bset->eq[j], 2); in convex_hull_1d()
660 if (isl_int_gt(a, b) && isl_int_is_neg(bset->eq[j][1])) in convex_hull_1d()
661 isl_seq_neg(lower, bset->eq[j], 2); in convex_hull_1d()
[all …]
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()
/external/llvm-project/polly/lib/External/isl/include/isl/
Dset.h29 isl_size isl_basic_set_n_dim(__isl_keep isl_basic_set *bset);
30 isl_size isl_basic_set_n_param(__isl_keep isl_basic_set *bset);
31 isl_size isl_basic_set_total_dim(__isl_keep const isl_basic_set *bset);
32 isl_size isl_basic_set_dim(__isl_keep isl_basic_set *bset,
39 isl_ctx *isl_basic_set_get_ctx(__isl_keep isl_basic_set *bset);
41 __isl_give isl_space *isl_basic_set_get_space(__isl_keep isl_basic_set *bset);
47 __isl_give isl_aff *isl_basic_set_get_div(__isl_keep isl_basic_set *bset,
51 __isl_keep isl_basic_set *bset);
53 const char *isl_basic_set_get_tuple_name(__isl_keep isl_basic_set *bset);
60 const char *isl_basic_set_get_dim_name(__isl_keep isl_basic_set *bset,
[all …]
/external/mesa3d/src/gallium/drivers/virgl/
Dvirgl_screen.c87 return vscreen->caps.caps.v1.bset.occlusion_query; in virgl_get_param()
90 return vscreen->caps.caps.v1.bset.mirror_clamp; in virgl_get_param()
108 return vscreen->caps.caps.v1.bset.indep_blend_enable; in virgl_get_param()
110 return vscreen->caps.caps.v1.bset.indep_blend_func; in virgl_get_param()
116 return vscreen->caps.caps.v1.bset.fragment_coord_conventions; in virgl_get_param()
118 if (vscreen->caps.caps.v1.bset.depth_clip_disable) in virgl_get_param()
130 return vscreen->caps.caps.v1.bset.primitive_restart; in virgl_get_param()
132 return vscreen->caps.caps.v1.bset.shader_stencil_export; in virgl_get_param()
137 return vscreen->caps.caps.v1.bset.seamless_cube_map; in virgl_get_param()
139 return vscreen->caps.caps.v1.bset.seamless_cube_map_per_texture; in virgl_get_param()
[all …]

12345