Home
last modified time | relevance | path

Searched refs:isl_basic_set_copy (Results 1 – 25 of 40) sorted by relevance

12

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_vertices.c96 vertices->bset = isl_basic_set_copy(bset); in vertices_from_list()
139 v->v.vertex = isl_basic_set_copy(bset); in add_vertex()
147 v->v.dom = isl_basic_set_copy(v->v.vertex); in add_vertex()
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()
454 copy = isl_basic_set_copy(bset); in isl_basic_set_compute_vertices()
1062 v->dom = isl_basic_set_copy(v->vertex); in isl_vertex_get_domain()
1067 return isl_basic_set_copy(v->dom); in isl_vertex_get_domain()
1083 bset = isl_basic_set_copy(v->vertex); in isl_vertex_get_expr()
[all …]
H A Disl_morph.c73 return isl_morph_alloc(isl_basic_set_copy(morph->dom), in isl_morph_dup()
74 isl_basic_set_copy(morph->ran), in isl_morph_dup()
393 return isl_morph_alloc(universe, isl_basic_set_copy(universe), in isl_morph_identity()
413 return isl_morph_alloc(empty, isl_basic_set_copy(empty), in isl_morph_empty()
661 bset = isl_basic_set_intersect(bset, isl_basic_set_copy(morph->ran)); in isl_morph_basic_set()
698 ran = isl_basic_set_copy(morph->ran); in isl_morph_set()
723 isl_basic_set_copy(morph1->dom)); in isl_morph_compose()
724 dom = isl_basic_set_intersect(dom, isl_basic_set_copy(morph2->dom)); in isl_morph_compose()
726 isl_basic_set_copy(morph2->ran)); in isl_morph_compose()
727 ran = isl_basic_set_intersect(ran, isl_basic_set_copy(morph1->ran)); in isl_morph_compose()
[all …]
H A Dpip.c78 pt = isl_basic_set_sample_point(isl_basic_set_copy(bset)); in ISL_ARGS_START()
267 opt = opt_at(isl_basic_set_copy(sp->bset), isl_vec_copy(sample), sp->max); in scan_one()
387 copy = isl_basic_set_copy(bset); in main()
388 context_copy = isl_basic_set_copy(context); in main()
H A Disl_constraint.c847 isl_basic_set_copy(bset), lower_line); in isl_basic_set_has_defining_inequalities()
849 isl_basic_set_copy(bset), upper_line); in isl_basic_set_has_defining_inequalities()
913 context = isl_basic_set_copy(context); in set_smallest_upper_bound()
943 context = isl_basic_set_copy(context); in set_largest_lower_bound()
984 upper = isl_basic_set_constraint(isl_basic_set_copy(bset), in foreach_upper_bound()
1026 lower = isl_basic_set_constraint(isl_basic_set_copy(bset), in foreach_lower_bound()
1086 lower = isl_basic_set_constraint(isl_basic_set_copy(bset), in foreach_bound_pair()
1088 upper = isl_basic_set_constraint(isl_basic_set_copy(bset), in foreach_bound_pair()
1161 lower = isl_basic_set_constraint(isl_basic_set_copy(bset), in isl_basic_set_foreach_bound_pair()
1164 context = isl_basic_set_remove_dims(isl_basic_set_copy(bset), in isl_basic_set_foreach_bound_pair()
[all …]
H A Disl_ilp.c92 unit_box = unit_box_base_points(isl_basic_set_copy(bset)); in initial_solution()
103 return isl_basic_set_sample_vec(isl_basic_set_copy(bset)); in initial_solution()
172 slice = add_bounds(isl_basic_set_copy(bset), f, l, tmp); in solve_ilp_search()
275 bset = isl_basic_set_copy(bset); in solve_ilp_with_eq()
353 bset = isl_basic_set_copy(bset); in basic_set_opt()
390 bset = isl_basic_set_copy(bset); in isl_basic_set_opt()
H A Dpolyhedron_sample.c23 sample = isl_basic_set_sample_vec(isl_basic_set_copy(bset)); in main()
H A Disl_farkas.c433 coeff = isl_basic_set_coefficients_base(isl_basic_set_copy(bset)); in isl_basic_set_coefficients_factor()
906 coeff = isl_basic_set_coefficients(isl_basic_set_copy(set->p[0])); in isl_set_coefficients()
910 bset = isl_basic_set_copy(set->p[i]); in isl_set_coefficients()
955 sol = isl_basic_set_solutions(isl_basic_set_copy(set->p[0])); in isl_set_solutions()
959 bset = isl_basic_set_copy(set->p[i]); in isl_set_solutions()
H A Disl_map_lexopt_templ.c113 isl_basic_set_copy(dom->p[0]), empty, flags); in SF()
122 isl_basic_set_copy(dom->p[i]), empty, flags); in SF()
H A Disl_factorization.c50 f->bset = isl_basic_set_copy(bset); in isl_factorizer_alloc()
363 bset = isl_basic_set_copy(f->bset); in isl_factorizer_every_factor_basic_set()
369 factor = isl_basic_set_copy(bset); in isl_factorizer_every_factor_basic_set()
H A Disl_pw_lift_templ.c27 lift = isl_set_from_basic_set(isl_basic_set_copy(set->p[i])); in foreach_lifted_subset()
H A Disl_scan.c240 if (isl_basic_set_scan(isl_basic_set_copy(set->p[i]), in isl_set_scan()
264 if (isl_basic_set_scan(isl_basic_set_copy(bset), &cnt.callback) < 0 && in isl_basic_set_count_upto()
H A Disl_convex_hull.c559 hull_facet = isl_basic_set_copy(hull); in extend()
1089 lp = valid_direction_lp(isl_basic_set_copy(bset1), in valid_direction()
1090 isl_basic_set_copy(bset2)); in valid_direction()
1236 dir = valid_direction(isl_basic_set_copy(bset1), in convex_hull_pair_pointed()
1237 isl_basic_set_copy(bset2)); in convex_hull_pair_pointed()
1293 isl_basic_set_copy(bset2))); in convex_hull_pair()
1312 lin = induced_lineality_space(isl_basic_set_copy(bset1), in convex_hull_pair()
1313 isl_basic_set_copy(bset2)); in convex_hull_pair()
1811 convex_hull = isl_basic_set_copy(set->p[0]); in uset_convex_hull()
1868 convex_hull = isl_basic_set_copy(set->p[0]); in uset_convex_hull_wrap_bounded()
[all …]
H A Disl_lp.c282 bset = isl_basic_set_copy(bset); in isl_basic_set_opt_lp_val_aligned()
338 bset = isl_basic_set_copy(bset); in isl_basic_set_opt_lp_val()
H A Disl_sample.c560 sample = sample_bounded(isl_basic_set_copy(bset)); in factor_sample()
970 bounded = isl_basic_set_copy(bset); in isl_basic_set_sample_with_cone()
1136 cone = isl_basic_set_recession_cone(isl_basic_set_copy(bset)); in gbr_sample()
1320 pnt = isl_basic_set_sample_point(isl_basic_set_copy(set->p[i])); in isl_set_sample_point()
H A Disl_tab_lexopt_templ.c226 isl_basic_set_copy(dom)); in SF()
H A Disl_ast_codegen.c762 bounds = isl_basic_set_copy(bounds); in add_implied_guards()
1402 context = isl_set_from_basic_set(isl_basic_set_copy(enforced)); in extract_pending()
1511 isl_basic_set_copy(bounds)); in create_node_scaled()
1519 isl_basic_set_copy(bounds)); in create_node_scaled()
1836 uset = isl_union_set_from_basic_set(isl_basic_set_copy(bounds)); in add_node()
1884 test = isl_basic_map_from_domain_and_range(isl_basic_set_copy(i), in domain_follows_at_depth()
1885 isl_basic_set_copy(j)); in domain_follows_at_depth()
1936 res = isl_basic_set_list_add(res, isl_basic_set_copy(bset)); in add_split_on()
2032 first = isl_basic_set_copy(bset); in add_nodes()
2120 test = isl_basic_map_from_domain_and_range(isl_basic_set_copy(i), in shared_outer()
[all …]
H A Disl_box.c353 bset = isl_basic_set_copy(info.bset); in set_dim_extent()
H A Disl_affine_hull.c817 cone = isl_basic_set_recession_cone(isl_basic_set_copy(bset)); in uset_affine_hull()
1238 bset = isl_basic_set_copy(set->p[0]); in isl_map_affine_hull()
H A Disl_range.c43 bset = isl_basic_set_copy(bset); in has_sign()
H A Disl_ast_build.c859 build = update_values(build, isl_basic_set_copy(bounds)); in isl_ast_build_set_loop_bounds()
862 set = isl_set_from_basic_set(isl_basic_set_copy(bounds)); in isl_ast_build_set_loop_bounds()
909 pending = isl_basic_set_copy(bounds); in isl_ast_build_set_pending_generated()
H A Disl_bernstein.c331 dom = isl_set_from_basic_set(isl_basic_set_copy(cell->dom)); in bernstein_coefficients_cell()
H A Disl_scheduler.c1737 return isl_basic_set_copy(node->bounds); in get_size_bounds()
1762 node->bounds = isl_basic_set_copy(bounds); in get_size_bounds()
1869 *hmap = isl_map_to_basic_set_set(*hmap, key, isl_basic_set_copy(coef)); in intra_coefficients()
1905 isl_basic_set_copy(coef)); in inter_coefficients()
3127 lp = isl_basic_set_copy(graph->lp); in solve_lp()
3712 dst->node[j].bounds = isl_basic_set_copy(src->node[i].bounds); in copy_nodes()
5278 lp = isl_basic_set_copy(graph->lp); in compute_carrying_sol_coef()
H A Disl_point.c537 if (isl_basic_set_scan(isl_basic_set_copy(set->p[i]), in isl_set_foreach_point()
H A Disl_tab_pip.c470 set = isl_basic_set_compute_divs(isl_basic_set_copy(dom)); in equal_on_domain()
787 sol->empty = isl_set_add_basic_set(sol->empty, isl_basic_set_copy(bset)); in sol_map_add_empty()
2859 clex->tab = context_tab_for_lexmin(isl_basic_set_copy(dom)); in isl_context_lex_alloc()
3017 isl_basic_set_copy(bset)) < 0) in gbr_get_sample()
3406 isl_basic_set_copy(bset)) < 0) in context_gbr_detect_equalities()
4443 isl_basic_set_copy(context->op->peek_basic_set(context))); in basic_map_partial_lexopt_base_sol()
/llvm-project-15.0.7/polly/utils/pyscop/
H A Disl.py498 isl.isl_basic_set_copy.argtypes = [BSet]
499 isl.isl_basic_set_copy.restype = c_int

12