Home
last modified time | relevance | path

Searched refs:isl_basic_set_alloc_inequality (Results 1 – 14 of 14) sorted by relevance

/external/llvm-project/polly/lib/External/isl/
Disl_convex_hull.c230 k = isl_basic_set_alloc_inequality(lp); in wrap_constraints()
242 k = isl_basic_set_alloc_inequality(lp); in wrap_constraints()
576 k = isl_basic_set_alloc_inequality(hull); in extend()
703 k = isl_basic_set_alloc_inequality(hull); in convex_hull_1d()
707 k = isl_basic_set_alloc_inequality(hull); in convex_hull_1d()
772 k = isl_basic_set_alloc_inequality(hull); in convex_hull_pair_elim()
780 k = isl_basic_set_alloc_inequality(hull); in convex_hull_pair_elim()
896 k = isl_basic_set_alloc_inequality(lin); in induced_lineality_space()
910 k = isl_basic_set_alloc_inequality(lin); in induced_lineality_space()
1014 k = isl_basic_set_alloc_inequality(lp); in valid_direction_lp()
[all …]
Disl_farkas.c283 k = isl_basic_set_alloc_inequality(dual); in farkas()
292 k = isl_basic_set_alloc_inequality(dual); in farkas()
525 k = isl_basic_set_alloc_inequality(bset); in add_rays()
609 k = isl_basic_set_alloc_inequality(bset); in add_vertex()
Disl_ilp.c57 k = isl_basic_set_alloc_inequality(unit_box); in unit_box_base_points()
119 k = isl_basic_set_alloc_inequality(bset); in add_bounds()
125 k = isl_basic_set_alloc_inequality(bset); in add_bounds()
Disl_tab_lexopt_templ.c116 k = isl_basic_set_alloc_inequality(dom); in SF()
Disl_point.c699 k = isl_basic_set_alloc_inequality(bset); in isl_basic_set_box_from_points()
712 k = isl_basic_set_alloc_inequality(bset); in isl_basic_set_box_from_points()
Disl_morph.c686 k = isl_basic_set_alloc_inequality(res); in isl_morph_basic_set()
Disl_map_private.h226 int isl_basic_set_alloc_inequality(__isl_keep isl_basic_set *bset);
Disl_scheduler.c2699 k = isl_basic_set_alloc_inequality(graph->lp); in add_bound_constant_constraints()
2779 k = isl_basic_set_alloc_inequality(graph->lp); in node_add_coefficient_constraints()
2802 k = isl_basic_set_alloc_inequality(graph->lp); in node_add_coefficient_constraints()
2808 k = isl_basic_set_alloc_inequality(graph->lp); in node_add_coefficient_constraints()
4450 k = isl_basic_set_alloc_inequality(graph->lp); in setup_carry_lp()
Disl_sample.c801 k = isl_basic_set_alloc_inequality(shift); in shift_cone()
Disl_constraint.c898 k = isl_basic_set_alloc_inequality(bset); in add_larger_bound_constraint()
Disl_polynomial.c4536 k = isl_basic_set_alloc_inequality(bset); in set_div_slice()
4542 k = isl_basic_set_alloc_inequality(bset); in set_div_slice()
Disl_transitive_closure.c318 k = isl_basic_set_alloc_inequality(bset); in parametric_constant_never_positive()
Disl_map.c1703 int isl_basic_set_alloc_inequality(__isl_keep isl_basic_set *bset) in isl_basic_set_alloc_inequality() function
8762 int k = isl_basic_set_alloc_inequality(bset); in isl_basic_set_positive_orthant()
8787 k = isl_basic_set_alloc_inequality(nonneg); in nonneg_halfspace()
8812 k = isl_basic_set_alloc_inequality(neg); in neg_halfspace()
Disl_tab_pip.c4670 k = isl_basic_set_alloc_inequality(bset); in select_minimum()