| /netbsd-src/external/mit/isl/dist/ |
| H A D | isl_vertices.c | 96 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()
211 vertices->v[0].vertex = isl_basic_set_copy(bset); in vertices_0D()
212 vertices->v[0].dom = isl_basic_set_params(isl_basic_set_copy(bset)); in vertices_0D()
224 vertices->c[0].dom = isl_basic_set_copy(vertices->v[0].dom); in vertices_0D()
371 bset = isl_basic_set_copy(bset); in detect_implicit_equality_constraints()
445 return lower_dim_vertices(isl_basic_set_copy(bset)); in isl_basic_set_compute_vertices()
[all …]
|
| H A D | isl_morph.c | 73 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()
397 return isl_morph_alloc(universe, isl_basic_set_copy(universe), in isl_morph_identity()
417 return isl_morph_alloc(empty, isl_basic_set_copy(empty), in isl_morph_empty()
665 bset = isl_basic_set_intersect(bset, isl_basic_set_copy(morph->ran)); in isl_morph_basic_set()
702 ran = isl_basic_set_copy(morph->ran); in isl_morph_set()
727 isl_basic_set_copy(morph1->dom)); in isl_morph_compose()
728 dom = isl_basic_set_intersect(dom, isl_basic_set_copy(morph2->dom)); in isl_morph_compose()
730 isl_basic_set_copy(morph2->ran)); in isl_morph_compose()
731 ran = isl_basic_set_intersect(ran, isl_basic_set_copy(morph1->ran)); in isl_morph_compose()
[all …]
|
| H A D | isl_constraint.c | 847 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 D | pip.c | 77 pt = isl_basic_set_sample_point(isl_basic_set_copy(bset)); in ISL_ARGS_START()
266 opt = opt_at(isl_basic_set_copy(sp->bset), isl_vec_copy(sample), sp->max); in scan_one()
386 copy = isl_basic_set_copy(bset); in main()
387 context_copy = isl_basic_set_copy(context); in main()
|
| H A D | isl_ilp.c | 92 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 D | isl_farkas.c | 433 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 D | polyhedron_sample.c | 23 sample = isl_basic_set_sample_vec(isl_basic_set_copy(bset)); in main()
|
| H A D | isl_map_lexopt_templ.c | 113 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 D | isl_factorization.c | 50 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 D | isl_convex_hull.c | 559 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()
1292 aff = isl_set_affine_hull(isl_basic_set_union(isl_basic_set_copy(bset1), in convex_hull_pair()
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()
1414 isl_basic_set_lineality_space(isl_basic_set_copy(set->p[i]))); in isl_set_combined_lineality_space()
[all …]
|
| H A D | isl_scan.c | 240 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 D | isl_pw_lift_templ.c | 27 lift = isl_set_from_basic_set(isl_basic_set_copy(set->p[i])); in foreach_lifted_subset()
|
| H A D | isl_lp.c | 282 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 D | isl_sample.c | 563 sample = sample_bounded(isl_basic_set_copy(bset)); in factor_sample()
973 bounded = isl_basic_set_copy(bset); in isl_basic_set_sample_with_cone()
1139 cone = isl_basic_set_recession_cone(isl_basic_set_copy(bset)); in gbr_sample()
1321 pnt = isl_basic_set_sample_point(isl_basic_set_copy(set->p[i])); in isl_set_sample_point()
|
| H A D | isl_tab_lexopt_templ.c | 226 isl_basic_set_copy(dom)); in SF()
|
| H A D | isl_ast_codegen.c | 754 bounds = isl_basic_set_copy(bounds); in add_implied_guards()
1391 context = isl_set_from_basic_set(isl_basic_set_copy(enforced)); in extract_pending()
1500 isl_basic_set_copy(bounds)); in create_node_scaled()
1508 isl_basic_set_copy(bounds)); in create_node_scaled()
1825 uset = isl_union_set_from_basic_set(isl_basic_set_copy(bounds)); in add_node()
1873 test = isl_basic_map_from_domain_and_range(isl_basic_set_copy(i), in domain_follows_at_depth()
1874 isl_basic_set_copy(j)); in domain_follows_at_depth()
1903 gt = isl_basic_map_intersect_domain(gt, isl_basic_set_copy(bset)); in add_split_on()
1925 res = isl_basic_set_list_add(res, isl_basic_set_copy(bset)); in add_split_on()
2021 first = isl_basic_set_copy(bset); in add_nodes()
[all …]
|
| H A D | isl_box.c | 354 bset = isl_basic_set_copy(info.bset); in set_dim_extent()
|
| H A D | isl_affine_hull.c | 817 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 D | isl_scheduler.c | 1531 return isl_basic_set_copy(node->bounds); in get_size_bounds()
1556 node->bounds = isl_basic_set_copy(bounds); in get_size_bounds()
1663 *hmap = isl_map_to_basic_set_set(*hmap, key, isl_basic_set_copy(coef)); in intra_coefficients()
1699 isl_basic_set_copy(coef)); in inter_coefficients()
2923 lp = isl_basic_set_copy(graph->lp); in solve_lp()
3518 dst->node[j].bounds = isl_basic_set_copy(src->node[i].bounds); in copy_nodes()
5079 lp = isl_basic_set_copy(graph->lp); in compute_carrying_sol_coef()
|
| H A D | isl_range.c | 43 bset = isl_basic_set_copy(bset); in has_sign()
|
| H A D | isl_ast_build.c | 859 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 D | isl_bernstein.c | 331 dom = isl_set_from_basic_set(isl_basic_set_copy(cell->dom)); in bernstein_coefficients_cell()
|
| H A D | isl_tab_pip.c | 496 set = isl_basic_set_compute_divs(isl_basic_set_copy(dom)); in equal_on_domain()
813 sol->empty = isl_set_add_basic_set(sol->empty, isl_basic_set_copy(bset)); in sol_map_add_empty()
2885 clex->tab = context_tab_for_lexmin(isl_basic_set_copy(dom)); in isl_context_lex_alloc()
3043 isl_basic_set_copy(bset)) < 0) in gbr_get_sample()
3432 isl_basic_set_copy(bset)) < 0) in context_gbr_detect_equalities()
4469 isl_basic_set_copy(context->op->peek_basic_set(context))); in basic_map_partial_lexopt_base_sol()
|
| H A D | isl_map_simplify.c | 2567 combined = isl_basic_set_cow(isl_basic_set_copy(context)); in uset_gist_full()
2823 aff = isl_basic_set_copy(bset); in uset_gist()
2826 aff_context = isl_basic_set_copy(context); in uset_gist()
2851 aff_context = isl_basic_set_affine_hull(isl_basic_set_copy(context)); in uset_gist()
3312 eq = isl_basic_set_copy(bset); in isl_basic_map_gist()
|
| H A D | isl_equalities.c | 791 bset = isl_basic_set_copy(bset); in isl_basic_set_dim_residue_class()
|