/external/llvm-project/polly/lib/External/isl/ |
D | isl_sample.c | 27 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 …]
|
D | isl_farkas.c | 216 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 …]
|
D | pip.c | 66 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 …]
|
D | isl_morph.c | 344 __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 …]
|
D | isl_ilp.c | 35 __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 …]
|
D | isl_affine_hull.c | 63 __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 …]
|
D | isl_vertices.c | 26 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 …]
|
D | isl_factorization.c | 27 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 …]
|
D | isl_constraint.c | 123 __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 …]
|
D | polytope_scan.c | 52 __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 …]
|
D | isl_lp.c | 79 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 …]
|
D | isl_range.c | 21 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 …]
|
D | isl_bound.c | 26 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 …]
|
D | isl_equalities.c | 635 __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 …]
|
D | isl_map_private.h | 126 __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 …]
|
D | isl_scan.c | 68 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 …]
|
D | isl_map.c | 61 __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 …]
|
D | polyhedron_detect_equalities.c | 15 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()
|
D | isl_point.c | 616 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 …]
|
D | isl_bernstein.c | 357 __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 …]
|
D | isl_map_simplify.c | 108 __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 …]
|
D | isl_convex_hull.c | 93 __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 …]
|
D | polyhedron_sample.c | 18 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/ |
D | set.h | 29 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/ |
D | virgl_screen.c | 87 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 …]
|