Home
last modified time | relevance | path

Searched refs:isl_set_from_basic_set (Results 1 – 25 of 26) sorted by relevance

12

/netbsd-src/external/mit/isl/dist/
H A Disl_transitive_closure.c1056 dom[j] = isl_set_from_basic_set( in composability()
1079 ran[j] = isl_set_from_basic_set( in composability()
1237 C = isl_set_from_basic_set(isl_set_simple_hull(C)); in incremental_on_entire_domain()
1250 dom[i] = isl_set_from_basic_set(isl_basic_map_domain( in incremental_on_entire_domain()
1252 ran[i] = isl_set_from_basic_set(isl_basic_map_range( in incremental_on_entire_domain()
1349 dom[i] = isl_set_from_basic_set( in incremental_closure()
1355 ran[i] = isl_set_from_basic_set( in incremental_closure()
1362 C = isl_set_from_basic_set(isl_set_simple_hull(C)); in incremental_closure()
1695 dom = isl_set_from_basic_set(isl_basic_map_domain( in setup_groups()
1699 dom = isl_set_from_basic_set(isl_basic_map_range( in setup_groups()
[all …]
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_bernstein.c331 dom = isl_set_from_basic_set(isl_basic_set_copy(cell->dom)); in bernstein_coefficients_cell()
486 set = isl_set_from_basic_set(bset); in bernstein_coefficients_factors()
525 set = isl_set_from_basic_set(bset); in bernstein_coefficients_full_recursive()
H A Disl_ast_codegen.c226 domain = isl_set_from_basic_set(isl_set_simple_hull(domain)); in generate_domain()
757 set = isl_set_from_basic_set(bounds); in add_implied_guards()
830 return isl_set_from_basic_set(bset); in intersect_constraints()
1391 context = isl_set_from_basic_set(isl_basic_set_copy(enforced)); in extract_pending()
1926 set1 = isl_set_from_basic_set(bset); in add_split_on()
1928 set2 = isl_set_from_basic_set(bset); in add_split_on()
2754 set = isl_set_from_basic_set(bset); in do_unroll_iteration()
2841 unroll_domain = isl_set_from_basic_set(bset); in compute_unroll_domains()
2901 domain = isl_set_from_basic_set(bset); in compute_atomic_domain()
3316 shared = isl_set_from_basic_set(hull); in has_pure_outer_disjunction()
[all …]
H A Disl_ast_build_expr.c1697 set = isl_set_from_basic_set(bset); in isl_ast_build_expr_from_basic_set()
1706 set = isl_set_from_basic_set(bset); in isl_ast_build_expr_from_basic_set()
1763 set = isl_set_from_basic_set(isl_basic_set_copy(bset)); in isl_ast_build_expr_from_set_internal()
1771 rest = isl_set_from_basic_set(isl_set_simple_hull(rest)); in isl_ast_build_expr_from_set_internal()
1774 set = isl_set_from_basic_set(isl_basic_set_copy(bset)); in isl_ast_build_expr_from_set_internal()
2311 valid = isl_set_from_basic_set(test(isl_aff_copy(aff), aff_i)); in extends()
2324 valid = isl_set_from_basic_set(test(aff_i, isl_aff_copy(aff))); in extends()
H A Disl_range.c280 set = isl_set_from_basic_set(bset); in add_guarded_poly()
522 set = isl_set_from_basic_set(bset); in qpolynomial_bound_on_domain_range()
H A Disl_ast_build.c785 set = isl_set_from_basic_set(bounds); in update_values()
862 set = isl_set_from_basic_set(isl_basic_set_copy(bounds)); in isl_ast_build_set_loop_bounds()
913 isl_set_from_basic_set(pending)); in isl_ast_build_set_pending_generated()
918 isl_set_from_basic_set(generated)); in isl_ast_build_set_pending_generated()
1355 set = isl_set_from_basic_set(isl_aff_zero_basic_set(aff)); in isl_ast_build_get_stride_constraint()
1923 test = isl_set_from_basic_set(isl_aff_neg_basic_set(aff)); in isl_ast_build_aff_is_nonneg()
H A Disl_point.c697 return isl_set_from_basic_set(bset); in isl_set_from_point()
818 return isl_set_from_basic_set(bset); in isl_set_box_from_points()
H A Disl_ast_graft.c279 isl_set_from_basic_set(enforced)); in isl_ast_graft_list_extract_hoistable_guard()
285 guard = isl_set_from_basic_set(hull); in isl_ast_graft_list_extract_hoistable_guard()
360 set = isl_set_from_basic_set(bset); in insert_if()
H A Dpip.c278 opt_set = isl_set_from_basic_set(isl_basic_set_from_vec(opt)); in scan_one()
H A Disl_bound.c33 dom = isl_set_from_basic_set(bset); in isl_qpolynomial_cst_bound()
H A Disl_morph.c703 set = isl_set_intersect(set, isl_set_from_basic_set(ran)); in isl_morph_set()
H A Disl_union_map.c2145 return isl_set_from_basic_set(isl_set_combined_lineality_space(set)); in combined_lineality_space()
3496 set = isl_set_from_basic_set(isl_set_coefficients(set)); in coefficients_entry()
3533 set = isl_set_from_basic_set(isl_set_solutions(set)); in solutions_entry()
H A Disl_scheduler.c901 set = isl_set_from_basic_set(isl_set_simple_hull(set)); in compute_sizes()
1068 hull_set = isl_set_from_basic_set(hull); in extract_node()
4716 bounds = isl_set_from_basic_set(get_size_bounds(node)); in collect_bounds()
H A Disl_aff.c2481 return isl_set_from_basic_set(isl_aff_ge_basic_set(aff1, aff2)); in isl_aff_ge_set()
2493 return isl_set_from_basic_set(isl_aff_gt_basic_set(aff1, aff2)); in isl_aff_gt_set()
2529 return isl_set_from_basic_set(isl_aff_lt_basic_set(aff1, aff2)); in isl_aff_lt_set()
2549 return isl_set_from_basic_set(isl_aff_eq_basic_set(aff1, aff2)); in isl_aff_eq_set()
2997 locus = isl_set_from_basic_set(bset); in pw_aff_locus()
H A Disl_local_space.c1092 set = isl_set_intersect(set, isl_set_from_basic_set(bset)); in isl_local_space_lift_set()
H A Disl_map.c3485 __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset) in isl_set_from_basic_set() function
3495 return isl_set_from_basic_set(bset); in isl_basic_set_to_set()
7826 return isl_set_from_basic_set(bset); in parameter_compute_divs()
7834 return isl_set_from_basic_set(isl_basic_set_free(bset)); in parameter_compute_divs()
7844 return isl_set_from_basic_set(bset); in parameter_compute_divs()
9118 half = isl_set_from_basic_set(nonneg_halfspace(isl_set_get_space(set), in foreach_orthant()
9125 half = isl_set_from_basic_set(neg_halfspace(isl_set_get_space(set), in foreach_orthant()
H A Disl_test.c1704 set1 = isl_set_from_basic_set(isl_set_convex_hull(set1)); in test_convex_hull_algo()
7305 res = isl_set_from_basic_set(isl_aff_bind_id(aff, id)); in test_bind_aff()
8009 pma = isl_pw_multi_aff_alloc(isl_set_from_basic_set(bset), ma); in find_vertex()
H A Disl_tab_pip.c5736 pma = isl_pw_multi_aff_alloc(isl_set_from_basic_set(dom), maff); in sol_pma_add()
5903 paff_i = isl_pw_aff_alloc(isl_set_from_basic_set(bset), aff); in set_minimum_pa()
H A Disl_polynomial.c4771 return isl_set_from_basic_set(bset); in set_div_slice()
4978 return isl_pw_qpolynomial_alloc(isl_set_from_basic_set(bset), qp); in constant_on_domain()
H A Disl_coalesce.c1481 return isl_set_from_basic_set(bset); in set_from_updated_bmap()
/netbsd-src/external/mit/isl/dist/include/isl/
H A Dset.h288 __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset);
H A Dcpp-checked.h16900 auto res = isl_set_from_basic_set(bset.release()); in set()
/netbsd-src/external/mit/isl/dist/interface/
H A Disl.py11437 self.ptr = isl.isl_set_from_basic_set(isl.isl_basic_set_copy(args[0].ptr))
12377 isl.isl_set_from_basic_set.restype = c_void_p
12378 isl.isl_set_from_basic_set.argtypes = [c_void_p]
/netbsd-src/external/mit/isl/dist/doc/
H A Duser.pod2164 __isl_give isl_set *isl_set_from_basic_set(
2169 C<isl_basic_set_to_set> and C<isl_set_from_basic_set> perform

12