Lines Matching refs:uset
2909 __isl_take isl_union_set *uset, __isl_keep isl_space *space, int n) in union_set_drop_extra_params() argument
2913 uset = isl_union_set_align_params(uset, isl_space_copy(space)); in union_set_drop_extra_params()
2914 n2 = isl_union_set_dim(uset, isl_dim_param); in union_set_drop_extra_params()
2916 return isl_union_set_free(uset); in union_set_drop_extra_params()
2917 uset = isl_union_set_project_out(uset, isl_dim_param, n, n2 - n); in union_set_drop_extra_params()
2919 return uset; in union_set_drop_extra_params()
3672 isl_union_set *uset; in isl_schedule_node_domain_intersect_domain() local
3678 uset = isl_schedule_tree_domain_get_domain(node->tree); in isl_schedule_node_domain_intersect_domain()
3679 is_subset = isl_union_set_is_subset(uset, domain); in isl_schedule_node_domain_intersect_domain()
3680 isl_union_set_free(uset); in isl_schedule_node_domain_intersect_domain()
3689 uset = isl_schedule_tree_domain_get_domain(tree); in isl_schedule_node_domain_intersect_domain()
3690 uset = isl_union_set_intersect(uset, domain); in isl_schedule_node_domain_intersect_domain()
3692 isl_union_set_copy(uset)); in isl_schedule_node_domain_intersect_domain()
3696 node = isl_schedule_node_gist(node, uset); in isl_schedule_node_domain_intersect_domain()
4226 __isl_take isl_union_set *uset, __isl_keep isl_union_set *ref) in replace_by_universe_if_disjoint() argument
4231 disjoint = isl_union_set_is_disjoint(uset, ref); in replace_by_universe_if_disjoint()
4233 return isl_union_set_free(uset); in replace_by_universe_if_disjoint()
4235 isl_die(isl_union_set_get_ctx(uset), isl_error_invalid, in replace_by_universe_if_disjoint()
4237 "current domain", return isl_union_set_free(uset)); in replace_by_universe_if_disjoint()
4239 universe = isl_union_set_universe(isl_union_set_copy(uset)); in replace_by_universe_if_disjoint()
4242 isl_union_set_free(uset); in replace_by_universe_if_disjoint()
4248 return isl_union_set_free(uset); in replace_by_universe_if_disjoint()
4249 return uset; in replace_by_universe_if_disjoint()