Home | History | Annotate | Download | only in dist

Lines Matching refs:hull

884 		isl_basic_set *hull;
893 		hull = isl_set_simple_hull(enforced_i);
894 		enforced = isl_basic_set_intersect(enforced, hull);
1478 	isl_basic_set *hull;
1489 	hull = isl_set_unshifted_simple_hull(isl_set_copy(domain));
1490 	bounds = isl_basic_set_intersect(bounds, hull);
1977  * of each slice is replaced by its simple hull.
2565  * by computing its simple hull.  We then iterate through them,
2580 	isl_basic_set *hull;
2582 	hull = isl_set_simple_hull(isl_set_copy(domain));
2584 	if (isl_basic_set_foreach_constraint(hull,
2588 	isl_basic_set_free(hull);
2596 	isl_basic_set_free(hull);
2621  * We compute the unshifted simple hull of each slice to ensure that
2623 hull is taken
2626  * the unshifted simple hull to ensure that the basic sets
2627  * remain disjoint.  The constraints that are dropped by taking the hull
3295 	isl_basic_set *hull;
3315 	hull = isl_set_plain_unshifted_simple_hull(isl_set_copy(inner));
3316 	shared = isl_set_from_basic_set(hull);
3390 		isl_basic_set *hull;
3391 		hull = isl_set_unshifted_simple_hull(domain);
3392 		domain_list = isl_basic_set_list_from_basic_set(hull);
3421 	isl_set *hull;
3432 	hull = isl_set_copy(domain);
3433 	hull = isl_set_from_basic_set(isl_set_unshifted_simple_hull(hull));
3434 	domain = isl_set_gist(domain, hull);
3624 	isl_basic_set *hull;
3656 	hull = isl_set_unshifted_simple_hull(isolated);
3657 	isolated = isl_set_from_basic_set(hull);