Home
last modified time | relevance | path

Searched refs:isl_basic_set_free (Results 1 – 25 of 46) sorted by relevance

12

/netbsd-src/external/mit/isl/dist/
H A Disl_convex_hull.c221 return isl_basic_set_free(lp); in wrap_constraints()
362 isl_basic_set_free(lp); in isl_set_wrap_facet()
370 isl_basic_set_free(lp); in isl_set_wrap_facet()
421 isl_basic_set_free(face); in initial_facet_constraint()
433 isl_basic_set_free(face); in initial_facet_constraint()
438 isl_basic_set_free(face); in initial_facet_constraint()
510 return isl_basic_set_free(facet)); in compute_facet()
513 isl_basic_set_free(facet); in compute_facet()
550 return isl_basic_set_free(hull); in extend()
583 isl_basic_set_free(hull_facet); in extend()
[all …]
H A Disl_affine_hull.c242 isl_basic_set_free(bset2); in affine_hull()
246 isl_basic_set_free(bset1); in affine_hull()
247 isl_basic_set_free(bset2); in affine_hull()
325 return isl_basic_set_free(bset); in isl_basic_set_recession_cone()
331 return isl_basic_set_free(bset); in isl_basic_set_recession_cone()
404 isl_basic_set_free(hull); in add_adjacent_points()
459 hull = isl_basic_set_free(hull); in extend_affine_hull()
471 isl_basic_set_free(hull); in extend_affine_hull()
511 return isl_basic_set_free(bset); in uset_affine_hull_bounded()
557 isl_basic_set_free(bset); in uset_affine_hull_bounded()
[all …]
H A Disl_sample.c35 isl_basic_set_free(bset); in empty_sample()
56 isl_basic_set_free(bset); in zero_sample()
59 isl_basic_set_free(bset); in zero_sample()
94 isl_basic_set_free(bset); in interval_sample()
115 isl_basic_set_free(bset); in interval_sample()
118 isl_basic_set_free(bset); in interval_sample()
610 isl_basic_set_free(bset); in factored_sample()
614 isl_basic_set_free(bset); in factored_sample()
642 bset = isl_basic_set_free(bset); in sample_bounded()
662 isl_basic_set_free(bset); in sample_bounded()
[all …]
H A Dpip.c74 return isl_basic_set_free(bset); in ISL_ARGS_START()
97 return isl_basic_set_free(context); in to_parameter_domain()
115 return isl_basic_set_free(bset); in move_parameters()
120 return isl_basic_set_free(bset); in move_parameters()
139 bset = isl_basic_set_free(bset); in plug_in_parameters()
197 isl_basic_set_free(bset); in opt_at()
223 isl_basic_set_free(bset); in opt_at()
228 isl_basic_set_free(bset); in opt_at()
234 isl_basic_set_free(bset); in opt_at()
332 isl_basic_set_free(bset); in check_solution()
H A Disl_farkas.c248 return isl_basic_set_free(bset); in farkas()
253 isl_basic_set_free(bset); in farkas()
309 isl_basic_set_free(bset); in farkas()
312 isl_basic_set_free(bset); in farkas()
313 isl_basic_set_free(dual); in farkas()
404 isl_basic_set_free(data->factors[i].coeff); in isl_coefficients_product_data_clear()
501 return isl_basic_set_free(bset); in add_lines()
527 return isl_basic_set_free(bset); in add_rays()
611 return isl_basic_set_free(bset); in add_vertex()
821 return isl_basic_set_free(bset); in basic_set_coefficients()
[all …]
H A Disl_ilp.c46 isl_basic_set_free(bset); in unit_box_base_points()
69 isl_basic_set_free(bset); in unit_box_base_points()
72 isl_basic_set_free(bset); in unit_box_base_points()
73 isl_basic_set_free(unit_box); in unit_box_base_points()
97 isl_basic_set_free(unit_box); in initial_solution()
101 isl_basic_set_free(unit_box); in initial_solution()
116 return isl_basic_set_free(bset); in add_bounds()
133 isl_basic_set_free(bset); in add_bounds()
295 isl_basic_set_free(bset); in solve_ilp_with_eq()
299 isl_basic_set_free(bset); in solve_ilp_with_eq()
[all …]
H A Disl_constraint.c879 return isl_basic_set_free(bset); in add_larger_bound_constraint()
899 isl_basic_set_free(bset); in add_larger_bound_constraint()
981 isl_basic_set_free(context_i); in foreach_upper_bound()
992 isl_basic_set_free(context); in foreach_upper_bound()
1000 isl_basic_set_free(context_i); in foreach_upper_bound()
1001 isl_basic_set_free(context); in foreach_upper_bound()
1023 isl_basic_set_free(context_i); in foreach_lower_bound()
1034 isl_basic_set_free(context); in foreach_lower_bound()
1042 isl_basic_set_free(context_i); in foreach_lower_bound()
1043 isl_basic_set_free(context); in foreach_lower_bound()
[all …]
H A Disl_vertices.c49 isl_basic_set_free(vertices->v[i].vertex); in isl_vertices_free()
50 isl_basic_set_free(vertices->v[i].dom); in isl_vertices_free()
56 isl_basic_set_free(vertices->c[i].dom); in isl_vertices_free()
60 isl_basic_set_free(vertices->bset); in isl_vertices_free()
77 isl_basic_set_free(list->v.vertex); in free_vertex_list()
78 isl_basic_set_free(list->v.dom); in free_vertex_list()
338 isl_basic_set_free(bset); in lower_dim_vertices()
355 isl_basic_set_free(copy); in lower_dim_vertices_free()
468 isl_basic_set_free(copy); in isl_basic_set_compute_vertices()
476 test = isl_basic_set_free(test); in isl_basic_set_compute_vertices()
[all …]
H A Disl_scan.c74 isl_basic_set_free(bset); in scan_0D()
117 bset = isl_basic_set_free(bset); 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()
H A Disl_test.c564 isl_basic_set_free(bset1); in test_read()
565 isl_basic_set_free(bset2); in test_read()
641 isl_basic_set_free(bset); in test_construction_1()
666 isl_basic_set_free(bset1); in test_construction_2()
667 isl_basic_set_free(bset2); in test_construction_2()
1011 isl_basic_set_free(bset); in test_elimination()
1053 isl_basic_set_free(bset); in test_div()
1076 isl_basic_set_free(bset); in test_div()
1099 isl_basic_set_free(bset); in test_div()
1122 isl_basic_set_free(bset); in test_div()
[all …]
H A Disl_bernstein.c381 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()
497 isl_basic_set_free(bset); in bernstein_coefficients_factors()
534 isl_basic_set_free(bset); in bernstein_coefficients_full_recursive()
580 isl_basic_set_free(bset); in isl_qpolynomial_bound_on_domain_bernstein()
H A Disl_tab_lexopt_templ.c135 isl_basic_set_free(dom); in SF()
170 isl_basic_set_free(dom); in SF()
232 isl_basic_set_free(dom); in SF()
H A Disl_morph.c52 isl_basic_set_free(dom); in isl_morph_alloc()
53 isl_basic_set_free(ran); in isl_morph_alloc()
97 isl_basic_set_free(morph->dom); in isl_morph_free()
98 isl_basic_set_free(morph->ran); in isl_morph_free()
447 isl_basic_set_free(eq); in copy_equalities()
671 isl_basic_set_free(bset); in isl_morph_basic_set()
787 isl_basic_set_free(bset); in isl_basic_set_full_compression()
H A Disl_bound.c114 isl_basic_set_free(bset); in compressed_guarded_poly_bound()
170 isl_basic_set_free(bset); in unwrapped_guarded_poly_bound()
244 isl_basic_set_free(bset); in guarded_poly_bound()
268 isl_basic_set_free(bset); in basic_guarded_fold()
H A Disl_map_simplify.c2019 isl_basic_set_free(context); in isl_basic_set_reduce_using_equalities()
2038 isl_basic_set_free(context); in isl_basic_set_reduce_using_equalities()
2044 isl_basic_set_free(bset); in isl_basic_set_reduce_using_equalities()
2045 isl_basic_set_free(context); in isl_basic_set_reduce_using_equalities()
2159 isl_basic_set_free(bset_context); in isl_basic_map_remove_shifted_constraints()
2347 return isl_basic_set_free(context); in drop_irrelevant_constraints()
2352 return isl_basic_set_free(context); in drop_irrelevant_constraints()
2395 return isl_basic_set_free(context); in drop_irrelevant_constraints_marked()
2400 return isl_basic_set_free(context); in drop_irrelevant_constraints_marked()
2459 return isl_basic_set_free(bset); in update_ineq()
[all …]
H A Disl_equalities.c643 return isl_basic_set_free(bset); in return_with_identity()
677 return isl_basic_set_free(bset); in compress_variables()
680 return isl_basic_set_free(bset); in compress_variables()
704 isl_basic_set_free(bset); in compress_variables()
717 return isl_basic_set_free(bset); in isl_basic_set_remove_equalities()
793 isl_basic_set_free(bset); in isl_basic_set_dim_residue_class()
H A Disl_lp.c302 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()
345 isl_basic_set_free(bset); in isl_basic_set_opt_lp_val()
H A Disl_range.c416 isl_basic_set_free(bset); in propagate_on_bound_pair()
458 isl_basic_set_free(bset); in propagate_on_domain()
465 isl_basic_set_free(bset); in propagate_on_domain()
504 isl_basic_set_free(bset); in basic_guarded_poly_bound()
H A Dpolyhedron_detect_equalities.c26 isl_basic_set_free(bset); in main()
H A Dpolyhedron_sample.c31 isl_basic_set_free(bset); in main()
H A Dpolyhedron_remove_redundant_equalities.c42 isl_basic_set_free(bset); in main()
H A Disl_factorization.c67 isl_basic_set_free(f->bset); in isl_factorizer_free()
378 isl_basic_set_free(factor); in isl_factorizer_every_factor_basic_set()
386 isl_basic_set_free(bset); in isl_factorizer_every_factor_basic_set()
H A Disl_box.c357 bset = isl_basic_set_free(bset); in set_dim_extent()
361 isl_basic_set_free(bset); in set_dim_extent()
372 isl_basic_set_free(info.bset); in set_dim_extent()
H A Disl_ast_graft.c78 isl_basic_set_free(enforced); in graft_alloc()
419 isl_basic_set_free(graft->enforced); in isl_ast_graft_set_enforced()
424 isl_basic_set_free(enforced); in isl_ast_graft_set_enforced()
441 enforced_g = isl_basic_set_free(enforced_g); in update_enforced()
1060 isl_basic_set_free(graft->enforced); in isl_ast_graft_free()
1085 isl_basic_set_free(enforced); in isl_ast_graft_enforce()
1577 isl_basic_set_free(enforced); in isl_stream_read_ast_graft()
H A Disl_stride.c324 isl_basic_set_free(hull); in set_detect_stride()
327 isl_basic_set_free(hull); in set_detect_stride()

12