Home
last modified time | relevance | path

Searched refs:isl_basic_set_intersect (Results 1 – 13 of 13) sorted by relevance

/llvm-project-15.0.7/polly/lib/External/isl/
H A Dpip.c88 return isl_basic_set_intersect(bset, box); in ISL_ARGS_START()
378 context = isl_basic_set_intersect(context, in main()
383 bset = isl_basic_set_intersect(bset, in main()
H A Disl_morph.c661 bset = isl_basic_set_intersect(bset, isl_basic_set_copy(morph->ran)); in isl_morph_basic_set()
724 dom = isl_basic_set_intersect(dom, isl_basic_set_copy(morph2->dom)); in isl_morph_compose()
727 ran = isl_basic_set_intersect(ran, isl_basic_set_copy(morph1->ran)); in isl_morph_compose()
H A Disl_farkas.c912 coeff = isl_basic_set_intersect(coeff, coeff_i); in isl_set_coefficients()
961 sol = isl_basic_set_intersect(sol, sol_i); in isl_set_solutions()
H A Disl_ast_graft.c1060 graft->enforced = isl_basic_set_intersect(graft->enforced, enforced); in isl_ast_graft_enforce()
H A Disl_convex_hull.c1903 convex_hull = isl_basic_set_intersect(convex_hull, affine_hull); in modulo_affine_hull()
3137 hull = isl_basic_set_intersect(hull, bounds); in isl_set_bounded_simple_hull()
H A Disl_ast_codegen.c834 bset = isl_basic_set_intersect(bset, bset_i); in intersect_constraints()
901 enforced = isl_basic_set_intersect(enforced, hull); in set_enforced_from_set()
1501 bounds = isl_basic_set_intersect(bounds, hull); in create_node_scaled()
H A Disl_local_space.c983 bset = isl_basic_set_intersect(bset, ls_bset); in isl_local_space_lift_basic_set()
H A Disl_map_simplify.c2828 aff = isl_basic_set_intersect(aff, aff_context); in uset_gist()
H A Disl_map.c3777 __isl_give isl_basic_set *isl_basic_set_intersect( in isl_basic_set_intersect() function
3787 return isl_basic_set_intersect(bset1, bset2); in isl_basic_set_intersect_params()
H A Disl_test.c4288 bset1 = isl_basic_set_intersect(bset1, bset2); in test_intersect_1()
/llvm-project-15.0.7/polly/lib/External/isl/include/isl/
H A Dset.h109 __isl_give isl_basic_set *isl_basic_set_intersect(
H A Disl-noexceptions.h9348 auto res = isl_basic_set_intersect(copy(), bset2.release()); in intersect()
/llvm-project-15.0.7/polly/lib/External/isl/doc/
H A Duser.pod2292 bset = isl_basic_set_intersect(bset,
7306 __isl_give isl_basic_set *isl_basic_set_intersect(